Visualização e animação de autómatos em Ocsigen Framework

Rita Macedo, Artur Miguel Dias, António Ravara

Formal Languages and Automata Theory are important foundational topics in Computer Science. Their rigorous and formal characteristics make their learning them demanding. An importa…