b'\n_START_ARTICLE_\nHierarquia de Chomsky\n_START_SECTION_\nGram\xc3\xa1tica com estrutura de frase\n_START_PARAGRAPH_\nTamb\xc3\xa9m conhecida como Tipo 0, s\xc3\xa3o aquelas \xc3\xa0s quais nenhuma limita\xc3\xa7\xc3\xa3o \xc3\xa9 imposta. O universo das linguagens que se podem definir atrav\xc3\xa9s dos mecanismos gerativos definidos pela gram\xc3\xa1tica corresponde exatamente ao conjunto das linguagens que esta classe de gram\xc3\xa1tica \xc3\xa9 capaz de gerar.\n_START_SECTION_\nGram\xc3\xa1ticas sens\xc3\xadveis ao contexto\n_START_PARAGRAPH_\nTamb\xc3\xa9m conhecida como Tipo 1. Se as regras de substitui\xc3\xa7\xc3\xa3o forem sujeitas \xc3\xa0 restri\xc3\xa7\xc3\xa3o de que nenhuma substitui\xc3\xa7\xc3\xa3o possa reduzir o comprimento da forma sentencial \xc3\xa0 qual a substitui\xc3\xa7\xc3\xa3o \xc3\xa9 aplicada, cria-se uma classe chamada sens\xc3\xadveis ao contexto ou tipo 1.\n_START_SECTION_\nGram\xc3\xa1ticas livres de contexto\n_START_PARAGRAPH_\nTamb\xc3\xa9m conhecida como de Tipo 2, s\xc3\xa3o aquelas em que \xc3\xa9 levantado o condicionamento das substitui\xc3\xa7\xc3\xb5es impostas pelas regras definidas pelas produ\xc3\xa7\xc3\xb5es. Este condicionamento \xc3\xa9 eliminado impondo \xc3\xa0s produ\xc3\xa7\xc3\xb5es uma restri\xc3\xa7\xc3\xa3o adicional, que restringe as produ\xc3\xa7\xc3\xb5es \xc3\xa0 forma geral_NEWLINE_A\\rightarrow \\beta_NEWLINE_onde A\\in V_n e \\beta\\in (V_n\\cup V_t)^*\n_START_SECTION_\nForma Normal de Backus\n_START_PARAGRAPH_\nBackus-Naur Form ou somente BNF, \xc3\xa9 uma outra forma de representar as produ\xc3\xa7\xc3\xb5es de Gram\xc3\xa1ticas livres de contexto._NEWLINE_Onde, \\rightarrow \xc3\xa9 substitu\xc3\xaddo por\xc2\xa0::= e os n\xc3\xa3o terminais por <"nome" >._NEWLINE_Ela \xc3\xa9 usada para definir gram\xc3\xa1ticas com o lado esquerdo de cada regra composto por um \xc3\xbanico s\xc3\xadmbolo n\xc3\xa3o terminal._NEWLINE__NEWLINE_Exemplo: _NEWLINE_<Y> ::= y1_NEWLINE_<Y> ::= y2_NEWLINE_    :_NEWLINE_<Y> ::= yn_NEWLINE__NEWLINE_escreve-se: <Y> ::= y1| y2| ...| yn'