Generalization of well-translation of formal languages

Jiří Kopřiva

Kybernetika (1966)

  • Volume: 02, Issue: 4, page (305)-313
  • ISSN: 0023-5954

How to cite

top

Kopř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
  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. (19 S) MR0167351
  2. Čulík K., Semantics and translation of grammars and ALGOL-like languages, Kybernetika 1 (1965), 1, 47-49. (1965) 
  3. Backus J. W., al., Revised report on the algorithmic language ALGOL 60, Numerische Mathematik 4 (1963), 420-453. (1963) Zbl0109.35105MR0154442
  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. (1962) MR0182565
  5. 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
  6. Naur P., The design of the Gier ALGOL compiler, BIT 3 (1963), No 2, 124-140; 3, 145 to 166. (1963) Zbl0116.09608MR0169414
  7. Naur P., State analysis of linear texts, Preliminary report, Regnecentralen Copenhagen, June 1965. (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. (1962) 
  9. 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
  10. 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

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.