Computational complexity of decision problems on self-verifying finite automata

DOI10.1007/978-3-319-98654-8_33OpenAlexW2885772766MaRDI QIDQ1622990

Sebastian Jakobi, Jozef jun. Jirásek, Markus Holzer

Publication date: 22 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-98654-8_33

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Computational complexity of decision problems on self-verifying finite automata