Title: Automata implementation
Subjects: Machine theory, Congresses