Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/131267
Название: | Binary Completely Reachable Automata |
Авторы: | Casas, D. Volkov, M. V. |
Дата публикации: | 2022 |
Издатель: | Springer Science and Business Media Deutschland GmbH |
Библиографическое описание: | Casas, D & Volkov, MV 2022, Binary Completely Reachable Automata. в LATIN 2022: Theoretical Informatics: Book Series. Том. 13568 LNCS, Chapter 21, LATIN 2022: Theoretical Informatics, Том. 13568, Springer, стр. 345-358. https://doi.org/10.1007/978-3-031-20624-5_21 Casas, D., & Volkov, M. V. (2022). Binary Completely Reachable Automata. в LATIN 2022: Theoretical Informatics: Book Series (Том 13568 LNCS, стр. 345-358). [Chapter 21] (LATIN 2022: Theoretical Informatics; Том 13568). Springer. https://doi.org/10.1007/978-3-031-20624-5_21 |
Аннотация: | We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a polynomial-time algorithm for recognizing this class of automata. © 2022, Springer Nature Switzerland AG. |
Ключевые слова: | CAYLEY DIGRAPH COMPLETE REACHABILITY DETERMINISTIC FINITE AUTOMATON STRONGLY CONNECTED DIGRAPH TRANSITION MONOID DIRECTED GRAPHS FINITE AUTOMATA CAYLEY DIGRAPH COMPLETE REACHABILITY DETERMINISTIC FINITE AUTOMATA NON-EMPTY SETS POLYNOMIAL-TIME ALGORITHMS REACHABILITY STATE-SETS STRONGLY CONNECTED STRONGLY CONNECTED DIGRAPH TRANSITION MONOID POLYNOMIAL APPROXIMATION |
URI: | http://elar.urfu.ru/handle/10995/131267 |
Условия доступа: | info:eu-repo/semantics/openAccess |
Конференция/семинар: | 7 November 2022 through 11 November 2022 |
Дата конференции/семинара: | 15th Latin American Symposium on Theoretical Informatics, LATIN 2022 |
Идентификатор SCOPUS: | 85144573404 |
Идентификатор PURE: | 33228862 aa64cdd5-c0e6-40e4-ba73-c3de865e4763 |
ISSN: | 0302-9743 |
ISBN: | 978-303120623-8 |
DOI: | 10.1007/978-3-031-20624-5_21 |
Сведения о поддержке: | Ministry of Education and Science of the Russian Federation, Minobrnauka, (FEUZ-2020-0016) The authors were supported by the Ministry of Science and Higher Education of the Russian Federation, project FEUZ-2020-0016. |
Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
2-s2.0-85144573404.pdf | 182,61 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.