Mutually Accepting Capacitated Automata

Ravid Alon, Orna Kupferman. Mutually Accepting Capacitated Automata. In Galina Jirásková, Giovanni Pighizzini, editors, Descriptional Complexity of Formal Systems - 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings. Volume 12442 of Lecture Notes in Computer Science, pages 1-12, Springer, 2020. [doi]

Abstract

Abstract is missing.