A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.
Prešić, Marica D. ; Prešić, Slaviša B.
Publications de l'Institut Mathématique. Nouvelle Série, Tome 55(69) (1994), p. 7-17 / Harvested from The Electronic Library of Mathematics
Access to full text
Full (PDF)
Publié le : 1994-01-01
MISANU-ID : j_publ_0001663
EUDML-ID : urn:eudml:doc:257936 
@article{00809163,
     title = {A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {55(69)},
     year = {1994},
     pages = {7-17},
     zbl = {0830.03013},
     language = {en},
     url = {http://dml.mathdoc.fr/item/00809163}
}

Prešić, Marica D.; Prešić, Slaviša B. A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 55(69) (1994) pp. 7-17. http://gdmltest.u-ga.fr/item/00809163/