Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: 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.pdf182,61 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.