On the Descriptional Complexity of Deterministic Ordered Restarting Automata

Friedrich Otto. On the Descriptional Complexity of Deterministic Ordered Restarting Automata. In Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin, editors, Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings. Volume 8614 of Lecture Notes in Computer Science, pages 318-329, Springer, 2014. [doi]

Abstract

Abstract is missing.