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, 56(70) (1994), p. 7.

Voir la notice de l'article dans European Digital Mathematics Library

Classification : 03B65
Mots-clés : definite clause grammars, generative power, type 0 phrase-structure grammars, algorithm, computer implementation 
@article{PIM2_1994__56(70)_257936,
     author = {Pre\v{s}i\'c, Marica D. and Pre\v{s}i\'c, Slavi\v{s}a B.},
     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},
     pages = {7},
     publisher = {mathdoc},
     volume = {56(70)},
     year = {1994},
     zbl = {0830.03013},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1994__56(70)_257936/}
}
TY  - JOUR
AU  - Prešić, Marica D.
AU  - Prešić, Slaviša B.
TI  - A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1994
SP  - 7
VL  - 56(70)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1994__56(70)_257936/
LA  - en
ID  - PIM2_1994__56(70)_257936
ER  - 
%0 Journal Article
%A Prešić, Marica D.
%A Prešić, Slaviša B.
%T A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1994
%P 7
%V 56(70)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1994__56(70)_257936/
%G en
%F PIM2_1994__56(70)_257936
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, 56(70) (1994), p. 7. https://geodesic-test.mathdoc.fr/item/PIM2_1994__56(70)_257936/