Integrating Hands-on Work into the Formal Languages Course via Tools and Programming

A collection of tools for making automata theory and formal languages come alive

SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education

VisA: towards a students' green card to automata theory and formal languages

ACSE '98 Proceedings of the 3rd Australasian conference on Computer science education

A Java-based tool for reasoning about models of computation through simulating finite automata and Turing machines

SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education

Autographe: A Graphical Version of Automate

WIA '98 Revised Papers from the Third International Workshop on Automata Implementation

Using theoretical computer simulators for formal languages and automata theory

ACM SIGCSE Bulletin

Language emulator, a helpful toolkit in the learning process of computer theory

Proceedings of the 35th SIGCSE technical symposium on Computer science education

Fifty years of automata simulation: a review

ACM Inroads