On a reachability set of automaton counter machines
Properties of automaton counter machines are investigated. We prove that reachability sets of automaton one-counter machines are semilinear. An algorithm of construction of these semilinear reachability sets is resultexl. Besides, it is shown that reachability sets of reversal-boundexl automaton cou...
Збережено в:
| Автори: | , |
|---|---|
| Формат: | Artigo |
| Мова: | Inglês |
| Опубліковано: |
Yaroslavl State University
2010-03-01
|
| Серія: | Моделирование и анализ информационных систем |
| Предмети: | |
| Онлайн доступ: | https://www.mais-journal.ru/jour/article/view/1020 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|