Operations on Self-Verifying Finite Automata

DOI10.1007/978-3-319-20297-6_16zbMath1465.68152OpenAlexW1068520834WikidataQ57380775 ScholiaQ57380775MaRDI QIDQ3194721

Jozef Štefan Jirásek, Alexander Szabari, Galina Jirásková

Publication date: 20 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20297-6_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Operational complexity: NFA-to-DFA trade-off ⋮ Self-Verifying Finite Automata and Descriptional Complexity

This page was built for publication: Operations on Self-Verifying Finite Automata