A hierarquia de Chomsky organiza as quatro classes de gram1ticas formais em um gradiente de poder expressivo2 do qual derivam-se os modelos de aut3matos que as reconhecem. Partindo das gram4ticas regulares 5 que bastam para descrever padr6es lineares 7 e culminando nas gram8ticas irrestritas 9 capazes de especificar qualquer linguagem recursivamente enumer10vel 1112 cada n13vel acrescenta recursos sint14ticos que ampliam o tipo de depend15ncias que podem ser descritas. A seguir16 apresento uma disserta1718o completa sobre cada classe19 o aut20mato com pilha que reconhece linguagens livres de contexto e21 por fim22 as duas formas normais mais importantes para manipular gram23ticas24 Chomsky e Greibach.

Anotacoes

A hierarquia de Chomsky organiza as quatro classes de gramáticas formais em um gradiente de poder expressivo, do qual derivam-se os modelos de autômatos que as reconhecem. Partindo das gramáticas regulares — que bastam para descrever padrões lineares — e culminando nas gramáticas irrestritas — capazes de especificar qualquer linguagem recursivamente enumerável —, cada nível acrescenta recursos sintáticos que ampliam o tipo de dependências que podem ser descritas. A seguir, apresento uma dissertação completa sobre cada classe, o autômato com pilha que reconhece linguagens livres de contexto e, por fim, as duas formas normais mais importantes para manipular gramáticas: Chomsky e Greibach. 1 Hierarquia de Chomsky e visão geral No artigo seminal de 1956, Noam Chomsky mostrou que há quatro classes principais de gramáticas e que cada uma contém estritamente a anterior, constituindo a Chomsky hierarchy . Essa inclusão reflete-se em linguagens e máquinas: linguagens regulares ⊂ livres de contexto ⊂ sensíveis ao contexto ⊂ irrestritas . Quanto mais alto o nível, mais memória o autômato correspondente precisa: nenhum, pilha, fita limitada, e fita ilimitada, respectivamente. 2 Gramática Re...