Zobrazeno 1 - 10
of 2 037
pro vyhledávání: '"Counter machine"'
Autor:
Ibarra, Oscar H., McQuillan, Ian
Publikováno v:
Theoretical Computer Science 799, 71--93 (2019)
We look at nondeterministic finite automata augmented with multiple reversal-bounded counters where, during an accepting computation, the behavior of the counters is specified by some fixed pattern. These patterns can serve as a useful "bridge" to ot
Externí odkaz:
http://arxiv.org/abs/2212.03791
Autor:
Oscar H. Ibarra, Ian McQuillan
We look at nondeterministic finite automata augmented with multiple reversal-bounded counters where, during an accepting computation, the behavior of the counters is specified by some fixed pattern. These patterns can serve as a useful "bridge" to ot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7b4837c969a0a6ff65ba8cf3ba39e13
http://arxiv.org/abs/2212.03791
http://arxiv.org/abs/2212.03791
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.
Conference
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.
Autor:
Kuzmin, E. V.
Publikováno v:
Automatic Control & Computer Sciences; Dec2023, Vol. 57 Issue 7, p683-695, 13p
Autor:
Maxim V. Neyzov, Egor V. Kuzmin
Publikováno v:
Моделирование и анализ информационных систем, Vol 30, Iss 4, Pp 308-339 (2023)
This work continues the series of articles on development and verification of control programs based on the LTL-specification. The essence of the approach is to describe the behavior of programs using formulas of linear temporal logic LTL of a specia
Externí odkaz:
https://doaj.org/article/584203ca53f54d858b748005cf82c3de
Autor:
Paul Rendell
Publikováno v:
Turing Machine Universality of the Game of Life ISBN: 9783319198415
Paul Chapman’s universal counter machine described in Chap. 3 is universal because it can simulate an arbitrary counter machine. It has been shown by Minsky that a counter machine can also simulate an arbitrary Turing machine. This chapter describe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::034a773059389684626c21f608f2d28f
https://doi.org/10.1007/978-3-319-19842-2_9
https://doi.org/10.1007/978-3-319-19842-2_9
Autor:
Oscar H. Ibarra, Ian McQuillan
Publikováno v:
Developments in Language Theory ISBN: 9783662531310
DLT
DLT
We look at NFAs augmented with multiple reversal-bounded counters where, during an accepting computation, the behavior of the counters during increasing and decreasing phases is specified by some fixed "pattern". We consider families of languages def
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::628707e491705df91fce308fd2810464
https://doi.org/10.1007/978-3-662-53132-7_18
https://doi.org/10.1007/978-3-662-53132-7_18
Autor:
Rendell, Paul
Publikováno v:
Turing Machine Universality of the Game of Life; 2016, p143-146, 4p
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.