ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/101934| Название: | A Characterization of Completely Reachable Automata |
| Авторы: | Bondar, E. A. Volkov, M. V. |
| Дата публикации: | 2018 |
| Издатель: | Springer Verlag |
| Библиографическое описание: | Bondar E. A. A Characterization of Completely Reachable Automata / E. A. Bondar, M. V. Volkov. — DOI 10.1007/978-3-319-98654-8_12 // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). — 2018. — Vol. 11088 LNCS. — P. 145-155. |
| Аннотация: | A complete deterministic finite automaton in which every non-empty subset of the state set occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize completely reachable automata in terms of certain directed graphs. © 2018, Springer Nature Switzerland AG. |
| Ключевые слова: | COMPLETE REACHABILITY DETERMINISTIC FINITE AUTOMATON DIRECTED GRAPHS DETERMINISTIC FINITE AUTOMATA REACHABILITY STATE-SETS AUTOMATA THEORY |
| URI: | http://elar.urfu.ru/handle/10995/101934 |
| Условия доступа: | info:eu-repo/semantics/openAccess |
| Идентификатор РИНЦ: | 35731589 |
| Идентификатор SCOPUS: | 85053869629 |
| Идентификатор WOS: | 000905585400012 |
| Идентификатор PURE: | 3fc8653e-9592-4626-9bc3-5f3e03dd3578 7898495 |
| ISSN: | 3029743 |
| ISBN: | 9783319986531 |
| DOI: | 10.1007/978-3-319-98654-8_12 |
| Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 2-s2.0-85053869629.pdf | 153,75 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.