Informtica Terica Engenharia da Computao Teoria da Computao

  • Slides: 7
Download presentation
Informática Teórica Engenharia da Computação

Informática Teórica Engenharia da Computação

Teoria da Computação Contexto do que vamos começar a estudar No início do nosso

Teoria da Computação Contexto do que vamos começar a estudar No início do nosso curso falamos que iríamos estudar os seguintes modelos de computação: Autômatos finitos 2. Autômatos com pilha 3. Máquinas de Turing 1. n Estudamos os AFs e vimos que são máquinas reconhecedoras de linguagens

Teoria da Computação Contexto do que vamos começar a estudar n As linguagens também

Teoria da Computação Contexto do que vamos começar a estudar n As linguagens também podem ser definidas formalmente por gramáticas, que é um método de descrever formalmente uma linguagem.

Teoria da Computação Contexto do que vamos começar a estudar n Curioso: independentemente do

Teoria da Computação Contexto do que vamos começar a estudar n Curioso: independentemente do desenvolvimento desses modelos de computação, o linguista Noam Chomsky buscou formalizar a noção de gramática e linguagem. n Isso resultou na definição da conhecida Hierarquia de Chomsky, uma hierarquia de classes de linguagem definidas por gramáticas de complexidade crescente.

Teoria da Computação Hierarquia de Chomsky Gramáticas lineares à direita 2. Gramáticas livre de

Teoria da Computação Hierarquia de Chomsky Gramáticas lineares à direita 2. Gramáticas livre de contexto 3. Gramáticas irrestritas 1. Autômatos finitos 2. Autômatos com pilha 3. Máquinas de Turing 1. (Tem-se também: gramáticas sensíveis ao contexto – autômatos linearmente limitados)

Teoria da Computação Hierarquia de Chomsky Tipo 0: Irrestritas Tipo 1: Sensível ao contexto

Teoria da Computação Hierarquia de Chomsky Tipo 0: Irrestritas Tipo 1: Sensível ao contexto Tipo 2: Livre de contexto Tipo 3: Regulares

Teoria da Computação n Agora nós vamos estudar as linguagens livre de contexto e

Teoria da Computação n Agora nós vamos estudar as linguagens livre de contexto e consequentemente: Gramáticas livre de contexto 2. Autômatos com pilha 1.