ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/102109| Название: | Reset complexity of ideal languages over a binary alphabet |
| Авторы: | Maslennikova, M. |
| Дата публикации: | 2017 |
| Издатель: | Springer Verlag |
| Библиографическое описание: | Maslennikova M. Reset complexity of ideal languages over a binary alphabet / M. Maslennikova. — DOI 10.1007/978-3-319-60252-3_21 // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). — 2017. — Vol. 10316 LNCS. — P. 262-273. |
| Аннотация: | We prove PSPACE-completeness of checking whether a given ideal language serves as the language of reset words for some automaton with at most four states over a binary alphabet. © IFIP International Federation for Information Processing 2017. |
| Ключевые слова: | IDEAL LANGUAGE PSPACE-COMPLETENESS RESET COMPLEXITY RESET WORD SYNCHRONIZING AUTOMATON DISPERSION COMPENSATION IDEAL LANGUAGE PSPACE COMPLETENESS RESET COMPLEXITY RESET WORDS SYNCHRONIZING AUTOMATA BINS |
| URI: | http://elar.urfu.ru/handle/10995/102109 |
| Условия доступа: | info:eu-repo/semantics/openAccess |
| Идентификатор SCOPUS: | 85022324516 |
| Идентификатор PURE: | 1977936 83975bd9-d48a-4f69-9881-f144ddec6299 |
| ISSN: | 3029743 |
| ISBN: | 9783319602516 |
| DOI: | 10.1007/978-3-319-60252-3_21 |
| Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 2-s2.0-85022324516.pdf | 524,55 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.