ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/75714| Название: | Synchronizing monotonic automata |
| Авторы: | Ananichev, D. S. Volkov, M. V. |
| Дата публикации: | 2004 |
| Библиографическое описание: | Ananichev D. S. Synchronizing monotonic automata / D. S. Ananichev, M. V. Volkov // Theoretical Computer Science. — 2004. — Vol. 327. — Iss. 3. — P. 225-239. |
| Аннотация: | We show that if the state set Q of a synchronizing automaton A = (Q, ∑, δ) admits a linear order such that for each letter a ∈ ∑ the transformation δ(_, a) of β preserves this order, then A possesses a reset word of length |Q| - 1. We also consider two natural generalizations of the notion of a reset word and provide for them results of a similar flavour. © 2004 Elsevier B.V. All rights reserved. |
| Ключевые слова: | INTERVAL RANK OF A WORD MONOTONIC AUTOMATA ORDER PRESERVING TRANSFORMATION RANK OF A WORD SYNCHRONIZING AUTOMATA AUTOMATION MATHEMATICAL TRANSFORMATIONS ROBOTICS SET THEORY SYNCHRONIZATION THEOREM PROVING INTERVAL RANK OF A WORD MONOTONIC AUTOMATA ORDER PRESERVING TRANSFORMATION RANK OF A WORD SYNCHRONIZING AUTOMATA AUTOMATA THEORY |
| URI: | http://elar.urfu.ru/handle/10995/75714 |
| Условия доступа: | info:eu-repo/semantics/openAccess |
| Конференция/семинар: | Developments in Language Theory |
| Дата конференции/семинара: | 7 July 2003 through 11 July 2003 |
| Идентификатор SCOPUS: | 6344237329 |
| Идентификатор WOS: | 000224865300002 |
| Идентификатор PURE: | 7882917 |
| ISSN: | 0304-3975 |
| DOI: | 10.1016/j.tcs.2004.03.068 |
| Сведения о поддержке: | Several useful comments of the anonymous referees of the proceedings version [1] of this paper are gratefully acknowledged. The authors acknowledge support from the Education Ministry of Russian Federation, Grants E02-1.0-143 and 04.01.059, the Russian Foundation for Basic Research, Grant 01-01-00258, the President Program of Leading Scientific Schools, Grant 2227.2003.1, and the INTAS (through Network Project 99-1224 “Combinatorial and Geometric Theory of Groups and Semigroups and its Applications to Computer Science”). |
| Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 1-s2.0-S0304397504004797.pdf | 243,18 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.