---

Номер категории:   1    2    3    4    5    6    7      8      9    10    11    12    13    14  

---

  A    B    C    D    E    F    G    H    I     J     K    L    M    N    O    P    Q    R    S    T    U    V    W    X    Y    Z    *  

Formal languages testing

---

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.

NOTE: This Flatpak is unofficial and not supported by JFLAP developers.
Find officially supported jar files on jflap.org.