@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. The Theory of Parsing, Translation and Compiling, Prentice-Hall, Englewood Cliffs, N.J., 1972. | MR 408321
and ,2. The SNOBOL4 Programming Language, Prentice-Hall, Englewood Cliffs, N.J., 1971.
, and ,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. 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
, and ,6. 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
, , , and ,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
: