Education · Flathub
JFLAP v7.1
Formal languages testing
From Flathub, not verified with cpak
This app comes from Flathub and has not been tested with cpak yet. cpak checks it against the Flathub signing key and runs it in its own sandbox, without Flatpak on the system, but some features may not work. How Flathub apps work in cpak
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.
Package details
- Application ID
- org.jflap.JFLAP
- Source
- Flathub
- Developer
- Duke University Computer Science Department
- License
- LicenseRef-proprietary=https://www2.cs.duke.edu/csed/jflap/jflaptmp/july27-18/license.html
