The Copying Power of Well-Nested Multiple Context-Free Grammars
SALVATI, Sylvain
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
SALVATI, Sylvain
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
< Réduire
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Langue
en
Communication dans un congrès
Ce document a été publié dans
Language and Automata Theory and Applications, 2010, Trier. 2010, vol. 6031, p. 344-355
Springer
Résumé
Nous démontrons un théorème de copie pour les grammaires hors-contexte multiples bien imbriquées : si L = { w#w | w ∈ L0 } est décrit par une m-MCFG bien imbriquée, alors L peut être décrit par une m-MCFG bien imbriquée ...Lire la suite >
Nous démontrons un théorème de copie pour les grammaires hors-contexte multiples bien imbriquées : si L = { w#w | w ∈ L0 } est décrit par une m-MCFG bien imbriquée, alors L peut être décrit par une m-MCFG bien imbriquée non-branchante. Ce théorème peut être utilisé pour donner des exemples simples de languages hors contexte multiples qui ne sont générés par aucune MCFG bien imbriquée.< Réduire
Résumé en anglais
We prove a copying theorem for well-nested multiple context- free languages: if L = { w#w | w ∈ L0 } has a well-nested m-MCFG, then L has a 'non-branching' well-nested m-MCFG. This can be used to give simple examples of ...Lire la suite >
We prove a copying theorem for well-nested multiple context- free languages: if L = { w#w | w ∈ L0 } has a well-nested m-MCFG, then L has a 'non-branching' well-nested m-MCFG. This can be used to give simple examples of multiple context-free languages that are not generated by any well-nested MCFGs.< Réduire
Origine
Importé de halUnités de recherche