Input-Driven Pushdown Automata on Well-Nested Infinite Strings

Alexander Okhotin, Victor L. Selivanov. Input-Driven Pushdown Automata on Well-Nested Infinite Strings. In Rahul Santhanam, Daniil Musatov, editors, Computer Science - Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28 - July 2, 2021, Proceedings. Volume 12730 of Lecture Notes in Computer Science, pages 349-360, Springer, 2021. [doi]

Abstract

Abstract is missing.