Generalization of well-translation of formal languages
Kybernetika (1966)
- Volume: 02, Issue: 4, page (305)-313
- ISSN: 0023-5954
Access Full Article
topHow to cite
topKopřiva, Jiří. "Generalization of well-translation of formal languages." Kybernetika 02.4 (1966): (305)-313. <http://eudml.org/doc/28950>.
@article{Kopřiva1966,
author = {Kopřiva, Jiří},
journal = {Kybernetika},
keywords = {numerical analysis},
language = {eng},
number = {4},
pages = {(305)-313},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Generalization of well-translation of formal languages},
url = {http://eudml.org/doc/28950},
volume = {02},
year = {1966},
}
TY - JOUR
AU - Kopřiva, Jiří
TI - Generalization of well-translation of formal languages
JO - Kybernetika
PY - 1966
PB - Institute of Information Theory and Automation AS CR
VL - 02
IS - 4
SP - (305)
EP - 313
LA - eng
KW - numerical analysis
UR - http://eudml.org/doc/28950
ER -
References
top- Čulík K., Well-translatable grammars and ALGOL-like languages, IFIP working conference "Formal language description languages", Vienna, 14-19 September 1964. To appear. (19 S) MR0167351
- Čulík K., Semantics and translation of grammars and ALGOL-like languages, Kybernetika 1 (1965), 1, 47-49. (1965)
- Backus J. W., al., Revised report on the algorithmic language ALGOL 60, Numerische Mathematik 4 (1963), 420-453. (1963) Zbl0109.35105MR0154442
- 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. (1962) MR0182565
- Morris D., The use of syntactic analysis in compilers, "Introduction to system programming". Academic Press, London and New York 1964, 249 - 255. (1964) Zbl0123.12603
- Naur P., The design of the Gier ALGOL compiler, BIT 3 (1963), No 2, 124-140; 3, 145 to 166. (1963) Zbl0116.09608MR0169414
- Naur P., State analysis of linear texts, Preliminary report, Regnecentralen Copenhagen, June 1965. (1965)
- Č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. (1962)
- Kopřiva J., A note on the structure of certain predicates concerning the sublanguages of ALGOL 60, Kybernetika 1 (1965), 2, 122-126. (1965) MR0189943
- Eickel J., Paul M., Bauer L., Samelson K., A syntax controlled generator of formal language processors, Comm. ACM 6 (1963), 8, 451 - 455. (1963) Zbl0117.12105MR0156495
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.