zbMath1120.68078MaRDI QIDQ5422504
Kamal Lodaya
Publication date: 26 October 2007
zbMATH Keywords
finite automataregular languages
Mathematics Subject Classification ID
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items