Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Input-Driven Pushdown Automata on Well-Nested Infinite Strings. / Okhotin, Alexander; Selivanov, Victor L.
Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings. ed. / Rahul Santhanam; Daniil Musatov. Springer Nature, 2021. p. 349-360 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12730 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
}
TY - GEN
T1 - Input-Driven Pushdown Automata on Well-Nested Infinite Strings
AU - Okhotin, Alexander
AU - Selivanov, Victor L.
N1 - Publisher Copyright: © 2021, Springer Nature Switzerland AG.
PY - 2021/6
Y1 - 2021/6
N2 - Automata operating on strings of nested brackets, known as input-driven pushdown automata, and also as visibly pushdown automata, have been studied since the 1980s. They were extended to the case of infinite strings by Alur and Madhusudan (“Visibly pushdown languages”, STOC 2004). This paper investigates the properties of these automata under the assumption that a given infinite string is always well-nested. This restriction enables a complete characterization of the corresponding ω -languages in terms of classical ω -regular languages and input-driven pushdown automata on finite strings. This characterization leads to a determinization construction for these automata, as well as to the first results on their topological classification.
AB - Automata operating on strings of nested brackets, known as input-driven pushdown automata, and also as visibly pushdown automata, have been studied since the 1980s. They were extended to the case of infinite strings by Alur and Madhusudan (“Visibly pushdown languages”, STOC 2004). This paper investigates the properties of these automata under the assumption that a given infinite string is always well-nested. This restriction enables a complete characterization of the corresponding ω -languages in terms of classical ω -regular languages and input-driven pushdown automata on finite strings. This characterization leads to a determinization construction for these automata, as well as to the first results on their topological classification.
UR - http://www.scopus.com/inward/record.url?scp=85111807385&partnerID=8YFLogxK
UR - https://www.mendeley.com/catalogue/6d6265dc-c31c-35ec-a120-ce29294f8448/
U2 - 10.1007/978-3-030-79416-3_21
DO - 10.1007/978-3-030-79416-3_21
M3 - Conference contribution
AN - SCOPUS:85111807385
SN - 9783030794156
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 349
EP - 360
BT - Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings
A2 - Santhanam, Rahul
A2 - Musatov, Daniil
PB - Springer Nature
T2 - 16th International Computer Science Symposium in Russia, CSR 2021
Y2 - 28 June 2021 through 2 July 2021
ER -
ID: 84641633