1 / 7

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 curso falamos que iríamos estudar os seguintes modelos de computação : Autômatos finitos Autômatos com pilha Máquinas de Turing

siusan
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. Teoria da ComputaçãoContexto do que vamos começar a estudar No início do nossocursofalamosqueiríamosestudarosseguintesmodelos de computação: • Autômatosfinitos • Autômatos com pilha • Máquinas de Turing • Estudamosos AFs e vimosquesãomáquinasreconhecedoras de linguagens

  3. Teoria da ComputaçãoContexto do que vamos começar a estudar • As linguagenstambémpodem ser definidasformalmenteporgramáticas, que é um método de descreverformalmenteumalinguagem.

  4. Teoria da ComputaçãoContexto do que vamos começar a estudar • Curioso: independentemente do desenvolvimentodessesmodelos de computação, o linguista Noam Chomsky buscouformalizar a noção de gramática e linguagem. • IssoresultounadefiniçãodaconhecidaHierarquia de Chomsky, umahierarquia de classes de linguagemdefinidasporgramáticas de complexidadecrescente.

  5. Teoria da ComputaçãoHierarquia de Chomsky • Gramáticaslineares à direita • Gramáticaslivre de contexto • Gramáticasirrestritas • Autômatosfinitos • Autômatos com pilha • Máquinas de Turing (Tem-se também: gramáticassensíveisaocontexto – autômatoslinearmentelimitados)

  6. Teoria da ComputaçãoHierarquia de Chomsky Tipo 0: Irrestritas Tipo 1: Sensívelaocontexto Tipo 2: Livre de contexto Tipo 3: Regulares

  7. Teoria da Computação • Agora nósvamosestudaras linguagenslivre de contexto e consequentemente: • Gramáticaslivre de contexto • Autômatos com pilha

More Related