Geodesic
The Modeling of Counter Machines by Two-Head Finite Automata
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 5, pp. 69-73.

Voir la notice de l'article provenant de la source Math-Net.Ru

A method of modeling the Minsky counter machine behaviour by a two-head finite automaton is proposed.
Keywords: counter machines, two-head finite automata, modeling. 
@article{MAIS_2012_19_5_a6,
     author = {E. V. Kuzmin and V. A. Sokolov},
     title = {The {Modeling} of {Counter} {Machines} by {Two-Head} {Finite} {Automata}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {69--73},
     publisher = {mathdoc},
     volume = {19},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a6/}
}
TY  - JOUR
AU  - E. V. Kuzmin
AU  - V. A. Sokolov
TI  - The Modeling of Counter Machines by Two-Head Finite Automata
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 69
EP  - 73
VL  - 19
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a6/
LA  - ru
ID  - MAIS_2012_19_5_a6
ER  - 
%0 Journal Article
%A E. V. Kuzmin
%A V. A. Sokolov
%T The Modeling of Counter Machines by Two-Head Finite Automata
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 69-73
%V 19
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a6/
%G ru
%F MAIS_2012_19_5_a6
E. V. Kuzmin; V. A. Sokolov. The Modeling of Counter Machines by Two-Head Finite Automata. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 5, pp. 69-73. http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a6/

[1] Kotov V. E., Sabelfeld V. K., Teoriya skhem programm, Nauka. Fizmatlit, M., 1991, 248 pp. | MR

[2] Kuzmin E. V., Schetchikovye mashiny, Uch. posob., YarGU, Yaroslavl, 2010, 128 pp.

[3] Minskii M., Vychisleniya i avtomaty, Mir, M., 1971, 268 pp. | MR

[4] Khopkroft D., Motvani R., Ulman D., Vvedenie v teoriyu avtomatov, yazykov i vychislenii, Per. s angl., 2-e izd., Vilyams, M., 2002, 528 pp.

[5] Rosenberg A., “On Multi-Head Finite Automata”, Proc. of the 5th Ann. Symp. on Switch. Theory and Log. Design, 1963, 221–228