Benedek Nagy

• Implementation and Application of Automata
• Machines, Computations, and Universality