On a reachability set of automaton 3-counter machines

Autor:	E. V. Kuzmin, D. J. Chalyy
Jazyk:	English<br />Russian
Rok vydání:	2009
Předmět:	abstract counter machines automaton counter machine communicating colouring automata reachability sets semilinear sets Information technology T58.5-58.64
Zdroj:	Моделирование и анализ информационных систем, Vol 16, Iss 3, Pp 77-84 (2009)
Druh dokumentu:	article
ISSN:	1818-1015 2313-5417
Popis:	In this paper we prove the existence of automaton 3-counter machines which have non-semilinear reachability sets.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/bffe0971efbb469aa292697fd4834739 Zobrazit plný text záznamu View record in DOAJ