3,365 apps tracked 0 new today 17 updated today Synced 18m ago

JFLAP

Formal languages testing

Duke University Computer Science Department

org.jflap.JFLAP
View on Flathub ↗

JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar.

Screenshots

Finite automaton simulation
Finite automaton simulation
Turing machine editor
Turing machine editor
Main menu options
Main menu options
Grammar editor
Grammar editor

Observed history

App ChangeVersionWhen ↓

No observed changes yet.

The initial import establishes a baseline. Future version changes will appear here.

Browse the app catalogue →

Upstream releases

Release notes supplied by the developer. These dates are not Flathub package publication times.

7.127 Jul 2018

No release notes supplied.