Self-Verifying Finite Automata and Descriptional Complexity
From MaRDI portal
Publication:2829967
DOI10.1007/978-3-319-41114-9_3zbMath1476.68131MaRDI QIDQ2829967
Publication date: 9 November 2016
Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01633958/file/416473_1_En_3_Chapter.pdf
68Q45: Formal languages and automata