HIERARQUIA DE

CHOMSKY

Adriana Mirian Mendes Cardoso

Marcelo Vinícios Melo Martins
Matheus Fellipe do Carmo Barros
Pedro Araujo Lage
Renan Caldeira Nunes
Vinicius Linhares
Introdução

● A Hierarquia de Chomsky é definida por quatro níveis ou quatro tipos de

linguagens. Cada nível de hierarquia apresenta sua correspondência em
termo de gramáticas, linguagens e autômato mínimo.

● Neste contexto, buscou-se abordar às gramáticas sensíveis ao contexto

ou tipo 1, linguagens cujas gramáticas geradores são as gramáticas
contextuais.
Hierarquia de
Chomsky

fonte:
//pt.slideshare.net/fernandosimeone
/hierarquia-de-chomsky
Contexto histórico

● Noam Chomsky, Linguista, filósofo e matemático, é considerado o pai da

linguística moderna.

● Considera que a linguagem é uma capacidade inata do par cérebro-mente

humano, em oposição às ideias do behaviorismo.

● Foi responsável por formalizar o conceito de gramática em 1959, baseados

nos critérios de complexidade das linguagens.
Linguagens Sensíveis ao
Contexto ou Tipo I
Gramática

Gramática formal em que os lados esquerdo e direito de qualquer regra de

produção podem ser cercados por um contexto de símbolo terminal e símbolo
não-terminal.

Nenhuma substituição pode reduzir o comprimento da forma sentencial para a

qual a substituição é aplicada.

Produções são todas da forma α−>β,com |α|<=|β|(produções não decrescentes)

onde α, β ∈ (Vn ∪ Vt)+
Gramática

G = (Vn,Vt,P,S) onde G1 = ({A,B,C}, {a,b,c},P1,A)

Vn=(Variáveis não terminais),

Vt=(Variáveis terminais),

P=(Conjunto de todas as leis de formação utilizadas pela gramática para definir a

linguagem),

A=(Denota a principal categoria gramatica de G; é dito o símbolo inicial ou o axioma da

gramática. Indica onde se inicia o processo de geração de sentenças)

P1 = { A -> abc; A -> aBbc; Bb -> bB; Bc -> Cbcc; bC -> Cb; aC -> aaB; aC -> aa }
Notação Formal

Uma gramática G pode ser denominada sensível ao contexto se cada

produção possa ser:

● yAz → ywz, para A ∈ Vn, y; z ∈ (Vn U Vt)^*, w ∈ (Vn U Vt)^+; ou

● S → λ, dado que S não aparece no lado direito de nenhuma produção.

Notação Formal

Uma linguagem L é sensível ao contexto se e somente se existe alguma

gramática G tal que L = L(G) onde toda produção de G da forma u → v tem a
propriedade de que 0 < |u| ≤ |v| com uma exceção: se λ ∈ L(G), então a regra
S → λ está também presente e neste caso S não pode aparecer no lado
direito de nenhuma produção.
Máquina Reconhecedora -
Autômato Linearmente
Limitado
Máquina Reconhecedora

● Um autômato limitado linearmente é um tipo de máquina de turing mais

restrito onde a cabeça de leitura/gravação não tem permissão para se
mover além da porção da fita que contém a entrada. Se um ALL tenta mover
a cabeça além do limite final da entrada, a cabeça de leitura permanece na
mesma posição. O mesmo ocorre para o limite esquerdo (início da fita),
como acontece em máquinas de turing comuns.
Máquina Reconhecedora

● Máquina de Turing com memória limitada e é o mecanismo de linguagens

sensíveis ao contexto.

● Fita Limitada e portanto finito.

● Ele só consegue resolver problemas que usem uma quantidade de memória

que possa caber dentro da fita usada para a entrada .
Máquina Reconhecedora

Determinístico vs Não-Determinístico

● A equivalência entre ALL determinístico e não determinístico ainda é um

caso aberto. Ao contrário do que acontece com outras máquinas, em que
sua versão determinística é equivalente a não determinística, provando que
não existem diferenças no seu poder de computação, a equivalência entre
ALL determinístico e não determinístico não foi provada. Ninguém sabe
ainda se um é mais poderoso que o outro.
Máquina Reconhecedora

Exemplo

● A equivalência entre ALL determinístico e não determinístico ainda é um

caso aberto. A
Aplicação - RNA

● Modelagem de vários tipos de estruturas secundárias de RNA;

● Representação mais natural dos pseudo-nós;

● Gramática sugerida reflete diretamente a aparência de cada forma de

estrutura secundária de RNA.
Aplicação - RNA

● Hair pins, laços internos, hélices duplas e alças.

Aplicação - RNA

● Rede de transição aumentada;

● Linguagem Java.
Exemplos:
Referências

Keum-Young Sung. The use of context-sensitive grammar for modeling rna pseudoknots. In BIOCOMP,
pages 338–344, 2006.

GONC¸ALVES, Rodrigo T. Chomsky e o aspecto criativo da linguagem. Revista Virtual de Estudos da

Linguagem – ReVEL. V. 5, n. 8, março de 2007. ISSN 1678-8931 [www.revel.inf.br]. Acesso 5 de setembro
de 2018

LINZ, P.,An introduction to formal languages and automata, 6th. ed.,Jones & Bartlett Learning, 2016.

Hierarquia de chomsky, Fernando Simeone.

disponível em <https://pt.slideshare.net/fernandosimeone/hierarquia-de-chomsky> Acesso 5 de setembro
de 2018.

Definições Hierarquia de Chomsky Exemplos de gramáticas. disponível em

<http://wiki.icmc.usp.br/images/1/14/Gramatica1.pdf >. Acesso 5 de setembro de 2018.
Obrigado!