@article{ITA_1982__16_1_13_0,
author = {Pinzani, R. and Sprugnoli, R.},
title = {The separability of formal languages},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
volume = {16},
year = {1982},
pages = {13-31},
mrnumber = {677653},
zbl = {0479.68079},
language = {en},
url = {http://dml.mathdoc.fr/item/ITA_1982__16_1_13_0}
}
Pinzani, R.; Sprugnoli, R. The separability of formal languages. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982) pp. 13-31. http://gdmltest.u-ga.fr/item/ITA_1982__16_1_13_0/
1. and , The Theory of Parsing, Translation and Compiling, Prentice-Hall, Englewood Cliffs, N.J., 1972. | MR 408321
2. , and , The SNOBOL4 Programming Language, Prentice-Hall, Englewood Cliffs, N.J., 1971.
3. , A Theory of Discrete Patterns and their Implementation in SNOBOL4Comm. ACM, Vol. 16, No. 2, 1973, pp. 91-100. | MR 386341
4. , Generalized Markov Algorithms and Automata. In Automata Theory, CAIANELLO, Ed., 1966, p. 115-130, Academic Press, New York. | Zbl 0192.06302
5. , and , An Algorithmic Approach to the Semantics of Programming Languages. In Automata, Languages and Programming NIVAT, Ed., 1973p. 147-166, North Holland Pub. Co., Amsterdam. | MR 388825 | Zbl 0262.68007
6. , , , and , Towards an Automatic Generation of Interpreters, Lecture Notes in Computer Science, No. 1, 1973, pp. 94-103, Springer Verlag, Berlin. | MR 351143 | Zbl 0277.68011
7. : An Extension of Algol-Like Languages, Comm. ACM, Yol. 7, No. 2, 1964, pp. 52-61. | Zbl 0192.07104
8. : The Mathematical Theory of Context-Free Languages, McGraw Hill, New York, 1966. | MR 211815 | Zbl 0184.28401