| Title:
|
Generalization of well-translation of formal languages (English) |
| Title:
|
Zobecnění dobrého překládání formálních jazyků (Czech) |
| Author:
|
Kopřiva, Jiří |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
2 |
| Issue:
|
4 |
| Year:
|
1966 |
| Pages:
|
(305)-313 |
| Summary lang:
|
Czech |
| . |
| Category:
|
math |
| . |
| MSC:
|
68Q45 |
| idZBL:
|
Zbl 0154.41804 |
| . |
| Date available:
|
2009-09-24T15:42:04Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125796 |
| . |
| Reference:
|
[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 0167351 |
| Reference:
|
[2] Čulík K.: Semantics and translation of grammars and ALGOL-like languages.Kybernetika 1 (1965), 1, 47-49. |
| Reference:
|
[3] Backus J. W., al.: Revised report on the algorithmic language ALGOL 60.Numerische Mathematik 4 (1963), 420-453. Zbl 0109.35105, MR 0154442 |
| Reference:
|
[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 0182565 |
| Reference:
|
[5] Morris D.: The use of syntactic analysis in compilers."Introduction to system programming". Academic Press, London and New York 1964, 249 - 255. Zbl 0123.12603 |
| Reference:
|
[6] Naur P.: The design of the Gier ALGOL compiler.BIT 3 (1963), No 2, 124-140; 3, 145 to 166. Zbl 0116.09608, MR 0169414 |
| Reference:
|
[7] Naur P.: State analysis of linear texts.Preliminary report, Regnecentralen Copenhagen, June 1965. |
| Reference:
|
[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. |
| Reference:
|
[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 0189943 |
| Reference:
|
[10] Eickel J., Paul M., Bauer L., Samelson K.: A syntax controlled generator of formal language processors.Comm. ACM 6 (1963), 8, 451 - 455. Zbl 0117.12105, MR 0156495 |
| . |
