L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

Paulo Moura, Artur Miguel Dias

We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of \textsl{alphabets}, the definition of \textsl{orders} ove…