Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata. / Петров, Семен Андреевич; Okhotin, Alexander.
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. ред. / Alberto Leporati; Carlos Martín-Vide; Dana Shapira; Claudio Zandron. Springer Nature, 2021. стр. 81-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 12638 LNCS).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata
AU - Петров, Семен Андреевич
AU - Okhotin, Alexander
N1 - Publisher Copyright: © 2021, Springer Nature Switzerland AG.
PY - 2021/2
Y1 - 2021/2
N2 - The paper estimates the number of states in an unambiguous finite automaton (UFA) that is sufficient and in the worst case necessary to simulate an n-state two-way deterministic finite automaton (2DFA). It is proved that a 2DFA with n states can be transformed to a UFA with fewer than 2n· n! states. On the other hand, for every n, there is a language recognized by an n-state 2DFA that requires a UFA with at least Ω((42)n·n-1/2) states. The latter result is proved by estimating the rank of a certain matrix.
AB - The paper estimates the number of states in an unambiguous finite automaton (UFA) that is sufficient and in the worst case necessary to simulate an n-state two-way deterministic finite automaton (2DFA). It is proved that a 2DFA with n states can be transformed to a UFA with fewer than 2n· n! states. On the other hand, for every n, there is a language recognized by an n-state 2DFA that requires a UFA with at least Ω((42)n·n-1/2) states. The latter result is proved by estimating the rank of a certain matrix.
KW - Descriptional complexity
KW - Two-way finite automata
KW - Unambiguous finite automata
UR - http://www.scopus.com/inward/record.url?scp=85104419404&partnerID=8YFLogxK
UR - https://www.mendeley.com/catalogue/f8549224-1e18-31a8-ad79-829adc62dcb3/
U2 - 10.1007/978-3-030-68195-1_7
DO - 10.1007/978-3-030-68195-1_7
M3 - Conference contribution
AN - SCOPUS:85104419404
SN - 9783030681944
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 81
EP - 93
BT - Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings
A2 - Leporati, Alberto
A2 - Martín-Vide, Carlos
A2 - Shapira, Dana
A2 - Zandron, Claudio
PB - Springer Nature
T2 - 15th International Conference on Language and Automata Theory and Applications, LATA 2021
Y2 - 1 March 2021 through 5 March 2021
ER -
ID: 78911685