OFLATThis tool is being developed at NOVA-LINCS (at the Computer Science Department of FCT-UNL) by the projects Factor and LEAFs and co-financed by Tezos Foundation and INRIA Foundation.
JFLAPis 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.
ALisPé uma linguagem de programação usada para exemplificar a matéria de análise sintática.