Li, Yong; Schewe, Sven; Vardi, Moshe Y. Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. (English) Zbl 07871734 Theor. Comput. Sci. 1006, Article ID 114650, 17 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Petrov, Semyon; Okhotin, Alexander On the transformation of two-way finite automata to unambiguous finite automata. (English) Zbl 07798810 Inf. Comput. 295, Part A, Article ID 104956, 26 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Hospodár, Michal; Jirásek, Jozef; Jirásková, Galina; Šebej, Juraj Operational complexity: NFA-to-DFA trade-off. (English) Zbl 07729459 Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 79-93 (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Indzhev, Emil; Kiefer, Stefan On complementing unambiguous automata and graphs with many cliques and cocliques. (English) Zbl 07537429 Inf. Process. Lett. 177, Article ID 106270, 5 p. (2022). MSC: 68Q45 05C69 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Kiefer, Stefan; Widdershoven, Cas Image-binary automata. (English) Zbl 07614751 Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 23rd IFIP WG 1.02 international conference, DCFS 2021, virtual event, September 5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13037, 176-187 (2021). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Petrov, Semyon; Okhotin, Alexander On the transformation of two-way deterministic finite automata to unambiguous finite automata. (English) Zbl 07405979 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 81-93 (2021). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Jirásková, Galina; Okhotin, Alexander State complexity of unambiguous operations on finite automata. (English) Zbl 1435.68170 Theor. Comput. Sci. 798, 52-64 (2019). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI