Return to search

Gramáticas livres de contexto adaptativas com verificação de aparência. / Context-free adaptive grammars with appearance checking.

Este trabalho descreve o formalismo das gramáticas livres de contexto adaptativas com verificação de aparência. Esses dispositivos gramaticais possuem como núcleo uma gramática livre de contexto subjacente e, como mecanismo de auto-modificação, uma ou várias funções adaptativas que determinam quais produções são aplicáveis em cada passo de uma derivação. A verificação de aparência se refere a uma forma especial de aplicar algumas produções, escolhidas pelo projetista da gramática, sem alterar a forma sentencial nessa aplicação. É provado que esse formalismo tem poder de máquina de Turing demonstrando, em forma construtiva, sua equivalência com quatro formalismos gramaticais baseados em gramáticas livres de contexto com mecanismos de controle, que tem esse poder. São desenvolvidos dois analisadorers para linguagens dependentes de contexto a partir de um desses outros quatro formalismos. Um deles, que é baseado em autômatos-pilha, opera em forma ascendente; o outro, baseado em autômatos finitos adaptativos, opera em forma descendente. / This work introduces and describes the formalism of the context-free adaptive grammar with appearance checking. Such gramatical devices have as its kernel a subjacent context-free grammar and, as mechanism of self-modification, one or several adaptive functions which determines the productions able to be applied at each step of a derivation. The appearance checking refers to a special way to apply some productions, choosen by the designer of the grammar, without changing the sentential form in this application. It is proved that this formalism has Turing Machine power, proving, by construction, its equivalence with four grammatical formalisms based on context-free grammars and with control mechanisms, with such power. Two parsers have been developed for context-dependent languages from one of these four formalisms. One of them is based on stack-automata, and operates in a bottom-up fashion.

Identiferoai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-31032005-134438
Date22 January 2004
CreatorsBravo Pariente, César Alberto
ContributorsJose Neto, Joao
PublisherBiblioteca Digitais de Teses e Dissertações da USP
Source SetsUniversidade de São Paulo
LanguagePortuguese
Detected LanguagePortuguese
TypeTese de Doutorado
Formatapplication/pdf
RightsLiberar o conteúdo para acesso público.

Page generated in 0.0016 seconds