| Title:
|
Conditional programmed automata (English) |
| Author:
|
Mareš, Jan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
14 |
| Issue:
|
4 |
| Year:
|
1978 |
| Pages:
|
(227)-244 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D60 |
| MSC:
|
68D45 |
| MSC:
|
68N01 |
| MSC:
|
68Q45 |
| idZBL:
|
Zbl 0389.68019 |
| idMR:
|
MR514277 |
| . |
| Date available:
|
2009-09-24T17:02:21Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124440 |
| . |
| Reference:
|
[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. |
| Reference:
|
[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. |
| Reference:
|
[3] K. Čulík M. A. Arbib: Sequential and Jumping Machines and their Relation to Computers.Acta Informatica 2 (1973), 162-171. MR 0329789 |
| Reference:
|
[4] K. Čulík: Algorithmic Algebras of Computers.Czechoslovak Math. Journal 23 (1973), 670-689. MR 0356562 |
| Reference:
|
[5] K. Čulík: Some Notes on Logical Analysis of Programming Languages.Teorie a metoda 3 (1971), 101-111. |
| Reference:
|
[6] Ю. И. Янов: О логических схемах алгоритмов.Проблемы кибернетики 1 (1958), 75 - 127. Zbl 0995.62501, MR 0135690 |
| Reference:
|
[7] J. Mareš: Programmed Automata.(In Czech.) CSc. - thesis, Prague 1973 (not published). |
| Reference:
|
[8] R. Milner: Equivalences on Program Schemes.Jour. Comp. and Syst. Sciences 4 (1970), 205-219. Zbl 0209.18705, MR 0276097 |
| Reference:
|
[9] Z. Pawlak: Stored Program Computers.(In Polish.) Algorytmy Vol. 5, No. 10 (1969), 5-19. MR 0255104 |
| Reference:
|
[10] H. Rossner: Formalization of the Notion of the Program.(In Polish.) Algorytmy Vol. 5, No. 10 (1969), 25-43. MR 0255106 |
| . |
