Geodesic
Conditional programmed automata
Kybernetika, Tome 14 (1978) no. 4, pp. 227-244
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03D60, 68D45, 68N01, 68Q45 
@article{KYB_1978_14_4_a0,
     author = {Mare\v{s}, Jan},
     title = {Conditional programmed automata},
     journal = {Kybernetika},
     pages = {227--244},
     year = {1978},
     volume = {14},
     number = {4},
     mrnumber = {514277},
     zbl = {0389.68019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1978_14_4_a0/}
}
TY  - JOUR
AU  - Mareš, Jan
TI  - Conditional programmed automata
JO  - Kybernetika
PY  - 1978
SP  - 227
EP  - 244
VL  - 14
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/KYB_1978_14_4_a0/
LA  - en
ID  - KYB_1978_14_4_a0
ER  - 
%0 Journal Article
%A Mareš, Jan
%T Conditional programmed automata
%J Kybernetika
%D 1978
%P 227-244
%V 14
%N 4
%U http://geodesic.mathdoc.fr/item/KYB_1978_14_4_a0/
%G en
%F KYB_1978_14_4_a0
Mareš, Jan. Conditional programmed automata. Kybernetika, Tome 14 (1978) no. 4, pp. 227-244. http://geodesic.mathdoc.fr/item/KYB_1978_14_4_a0/

[1] A. Blikle A. Mazurkiewicz: An Algebraic Approach to the Theory of Programs, Algorithms, Languages and Recursiveness. Proc. Symp. on Math. Foundю of Computer Sci., Jablonna 1972.

[2] K. Čulík: On Sequential and Non-Sequential Machines and their Relation to the Computation in Computers. Mimeographed in IFIP WG 2.2 Bulletin, No. 6, February 1970.

[3] K. Čulík M. A. Arbib: Sequential and Jumping Machines and their Relation to Computers. Acta Informatica 2 (1973), 162-171. | MR

[4] K. Čulík: Algorithmic Algebras of Computers. Czechoslovak Math. Journal 23 (1973), 670-689. | MR

[5] K. Čulík: Some Notes on Logical Analysis of Programming Languages. Teorie a metoda 3 (1971), 101-111.

[6] Ю. И. Янов: О логических схемах алгоритмов. Проблемы кибернетики 1 (1958), 75 - 127. | MR | Zbl

[7] J. Mareš: Programmed Automata. (In Czech.) CSc. - thesis, Prague 1973 (not published).

[8] R. Milner: Equivalences on Program Schemes. Jour. Comp. and Syst. Sciences 4 (1970), 205-219. | MR | Zbl

[9] Z. Pawlak: Stored Program Computers. (In Polish.) Algorytmy Vol. 5, No. 10 (1969), 5-19. | MR

[10] H. Rossner: Formalization of the Notion of the Program. (In Polish.) Algorytmy Vol. 5, No. 10 (1969), 25-43. | MR