The Copying Power of Well-Nested Multiple Context-Free Grammars

International audienceWe 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.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