A conversion game extension for JFLAP | ||
Overview
This game, based on JFLAP, lets you play with conversions between various representations of regular and ω-regular languages.
The game is divided into levels. At each level, you are given a representation of a (ω-)regular language (e.g. NFA), and asked to convert it into another represenation (e.g. DFA). The game then checks whether both representaions are equivalent. If yes, you move to the next level. If not, the game produces a counterexample and lets you try again.
To help pass a level, the game also keeps a track of your incorrect inputs in the History window.
Available conversions
Regular languages:
- Guess DFA from NFA, RE, MSOL
- Guess NFA from RE, MSOL
- Guess RE from DFA, NFA, MSOL
- Guess MSOL from DFA, NFA, RE
- Guess BA from LTL, ORE
- Guess ORE from BA, LTL
- Guess LTL from BA, ORE
Screenshots
- Menu
- Playing through each level
- A wrong NFA guess. Note the counterexample written in red.
- A wrong LTL guess
Requirements
- Java 8.0 or later
Download
Source code
Documentations
See- Bachelor thesis of Fabio Bove (the user manual can be found in Appendix B)
Contact
The game was written by Fabio Bove as a part of his Bachelor thesis. For any questions or comments, please contact Dejvuth Suwimonteerabuth.
Links
Last updated: 24.09.2015