Galina Jirásková

• Descriptional Complexity of Formal Systems
• Implementation and Application of Automata