Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/112095
Название: | Synchronizing Automata Preserving a Chain of Partial Orders |
Авторы: | Volkov, M. V. |
Дата публикации: | 2007 |
Издатель: | Springer Verlag Springer Berlin Heidelberg |
Библиографическое описание: | Volkov M. V. Synchronizing Automata Preserving a Chain of Partial Orders / M. V. Volkov // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). — 2007. — Vol. 4783 LNCS. — P. 27-37. |
Аннотация: | We present a new class of automata which strictly contains the class of aperiodic automata and shares with the latter certain synchronization properties. In particular, every strongly connected automaton in this new class is synchronizing and has a reset word of length [(n(n+1)/6] where n is the number of states of the automaton. © Springer-Verlag Berlin Heidelberg 2007. |
Ключевые слова: | CONGRUENCE ON AN AUTOMATON ČERNÝ CONJECTURE DETERMINISTIC FINITE AUTOMATON STRONGLY CONNECTED AUTOMATON SYNCHRONIZING AUTOMATON WEAKLY MONOTONIE AUTOMATON COMPUTER SCIENCE SYNCHRONIZATION THEOREM PROVING CONGRUENCE ON AN AUTOMATON DETERMINISTIC FINITE AUTOMATON STRONGLY CONNECTED AUTOMATON SYNCHRONIZING AUTOMATON WEAKLY MONOTONIE AUTOMATON FINITE AUTOMATA |
URI: | http://elar.urfu.ru/handle/10995/112095 |
Условия доступа: | info:eu-repo/semantics/openAccess |
Конференция/семинар: | 12th International Conference on Implementation and Application of Automata, CIAA 2007 |
Дата конференции/семинара: | 16 July 2007 through 18 July 2007 |
Идентификатор SCOPUS: | 38149023551 |
Идентификатор WOS: | 000252061100005 |
Идентификатор PURE: | 7881961 |
ISSN: | 0302-9743 |
ISBN: | 9783540763352 |
Сведения о поддержке: | Supported by the Russian Foundation for Basic Research, grant 05-01-00540. The paper has been completed during the author’s stay at the University of Turku under the Finnish Mathematical Society International Visitors Program 2006–2007 ‘‘Algorithmic and Discrete Mathematics’’. |
Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
2-s2.0-38149023551.pdf | 392,06 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.