Zobrazeno 1 - 8
of 8
pro vyhledávání: '"abstract counter machines"'
Autor:
E. V. Kuzmin, D. Ju. Chalyy
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 2, Pp 48-71 (2010)
Some properties of formal languages (ACML) of automaton counter machines are investigated. We show that a class of these languages is closed with respect to the following operations: union, intersection by regular sets, concatenation, infinite iterat
Externí odkaz:
https://doaj.org/article/fe76d43605ea4b23865a1623ed2b8b25
Autor:
E. V. Kuzmin, D. J. Chalyy
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 1, Pp 52-64 (2010)
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 re
Externí odkaz:
https://doaj.org/article/ac8a39bdc3c94f91a244f3156cd80589
Autor:
E. V. Kuzmin, D. J. Chalyy
Publikováno v:
Моделирование и анализ информационных систем, Vol 16, Iss 3, Pp 77-84 (2009)
In this paper we prove the existence of automaton 3-counter machines which have non-semilinear reachability sets.
Externí odkaz:
https://doaj.org/article/bffe0971efbb469aa292697fd4834739
Autor:
E. V. Kuzmin, D. J. Chalyy
Publikováno v:
Modelirovanie i Analiz Informacionnyh Sistem, Vol 17, Iss 2, Pp 48-71 (2010)
A class of formal languages (ACML) acceptable by automaton counter machines is considered. This class is shown to be close with respect to the operations of union, regular intersection, concatenation, infinite iteration, homomorphism, and inverse hom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c82559dd06ac0738bac584e1d2dd6c6
https://doi.org/10.3103/s0146411611070108
https://doi.org/10.3103/s0146411611070108
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.