Detail

L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory

L-FLAT is written in Logtalk/Prolog and supports the partial definition of languages using unit tests, and the definition of mechanisms implementing language generators or language recognizers. Supported mechanisms include predicates, regular expressions, finite automata, context-free grammars, push-down automata, and Turing machines. The use of L-FLAT in educational environments is enhanced by supporting Mooshak, a web application that features automatic grading of submitted programs. (Artur Miguel Dias, Paulo Moura, Michel Wermelinger)