Geodesic
Generalization of well-translation of formal languages
Kybernetika, Tome 2 (1966) no. 4, pp. 305-313 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68Q45 
@article{KYB_1966_2_4_a2,
     author = {Kop\v{r}iva, Ji\v{r}{\'\i}},
     title = {Generalization of well-translation of formal languages},
     journal = {Kybernetika},
     pages = {305--313},
     year = {1966},
     volume = {2},
     number = {4},
     zbl = {0154.41804},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1966_2_4_a2/}
}
TY  - JOUR
AU  - Kopřiva, Jiří
TI  - Generalization of well-translation of formal languages
JO  - Kybernetika
PY  - 1966
SP  - 305
EP  - 313
VL  - 2
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/KYB_1966_2_4_a2/
LA  - en
ID  - KYB_1966_2_4_a2
ER  - 
%0 Journal Article
%A Kopřiva, Jiří
%T Generalization of well-translation of formal languages
%J Kybernetika
%D 1966
%P 305-313
%V 2
%N 4
%U http://geodesic.mathdoc.fr/item/KYB_1966_2_4_a2/
%G en
%F KYB_1966_2_4_a2
Kopřiva, Jiří. Generalization of well-translation of formal languages. Kybernetika, Tome 2 (1966) no. 4, pp. 305-313. http://geodesic.mathdoc.fr/item/KYB_1966_2_4_a2/

[1] Čulík K.: Well-translatable grammars and ALGOL-like languages. IFIP working conference "Formal language description languages", Vienna, 14-19 September 1964. To appear. | MR

[2] Čulík K.: Semantics and translation of grammars and ALGOL-like languages. Kybernetika 1 (1965), 1, 47-49.

[3] Backus J. W., al.: Revised report on the algorithmic language ALGOL 60. Numerische Mathematik 4 (1963), 420-453. | MR | Zbl

[4] Péter R.: Über die Rekursivität einiger Übersetzungs-transformationen. I. Mitteilung. Publ. Math. Inst. Hung. Acad. of Sciences, Vol. VII (1962), Series A, Fasc. 1-2, 69-78. | MR

[5] Morris D.: The use of syntactic analysis in compilers. "Introduction to system programming". Academic Press, London and New York 1964, 249 - 255. | Zbl

[6] Naur P.: The design of the Gier ALGOL compiler. BIT 3 (1963), No 2, 124-140; 3, 145 to 166. | MR | Zbl

[7] Naur P.: State analysis of linear texts. Preliminary report, Regnecentralen Copenhagen, June 1965.

[8] Čulík K.: Formal structure of ALGOL and simplification of its description. In "Symbolic languages in data processing" (Roma 1962). Gordon-Breach, New York 1963, 75 - 82.

[9] Kopřiva J.: A note on the structure of certain predicates concerning the sublanguages of ALGOL 60. Kybernetika 1 (1965), 2, 122-126. | MR

[10] Eickel J., Paul M., Bauer L., Samelson K.: A syntax controlled generator of formal language processors. Comm. ACM 6 (1963), 8, 451 - 455. | MR | Zbl