ii
´ INDICE
1.2 N˜ao-determinismo ........................ . . . . . . . . . . . . . 39Definic¸˜ao formal de um autˆomato finito n˜ao-determin´ıstico . . . . . . 45
Equivalˆencia de
AFN
’s e
AFD
’s . . . . . . . . . . . . . . . . . . . . 46Fecho sob as operac¸˜oes regulares . . . . . . . . . . . . . . . . . . . . 501.3 Express˜oes regulares ....................... . . . . . . . . . . . . 54Definic¸˜ao formal de uma express˜ao regular . . . . . . . . . . . . . . 55Equivalˆencia com autˆomatos finitos . . . . . . . . . . . . . . . . . . 571.4 Linguagens n˜ao-regulares..................... . . . . . . . . . . . 63O lema do bombeamento para linguagens regulares . . . . . . . . . . 64
Exerc´ ıcios e Problemas
. . . . . . . . . . . . . . . . . . . . . . . . . 68
2 Linguagens Livres-do-Contexto 83
2.1 Gram´aticas livres-do-contexto................... . . . . . . . . . . 84Definic¸˜ao formal de uma gram´atica livre-do-contexto . . . . . . . . . 85Projetando gram´aticas livres-do-contexto . . . . . . . . . . . . . . . 87Ambig¨uidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88Forma normal de Chomksy . . . . . . . . . . . . . . . . . . . . . . . 892.2 Autˆomatos a pilha ........................ . . . . . . . . . . . . . 91Definic¸˜ao formal de um autˆomato a pilha . . . . . . . . . . . . . . . . 92Exemplos de autˆomatos a pilha . . . . . . . . . . . . . . . . . . . . . 93Equivalˆencia com gram´aticas livres-do-contexto . . . . . . . . . . . . 952.3 Linguagens n˜ao-livres-do-contexto................. . . . . . . . . . 101O lema do bombeamento para linguagens livres-do-contexto . . . . . 101
Exerc´ ıcios e Problemas
. . . . . . . . . . . . . . . . . . . . . . . . . 105
Parte Dois: Teoria da Computabilidade 111
3 A Tese de Church–Turing 111
3.1 M´aquinas de Turing ....................... . . . . . . . . . . . . . 111Definic¸˜ao formal de uma m´aquina de Turing . . . . . . . . . . . . . . 113Exemplos de m´aquinas de Turing . . . . . . . . . . . . . . . . . . . . 1153.2 Variantes de m´aquinas de Turing.................. . . . . . . . . . 119M´aquinas de Turing multi-fitas . . . . . . . . . . . . . . . . . . . . . 120M´aquinas de Turing n˜ao-determin´ısticas . . . . . . . . . . . . . . . . 121Enumeradores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123Equivalˆencia com outros modelos . . . . . . . . . . . . . . . . . . . 1243.3 A definic¸˜ao de algoritmo ..................... . . . . . . . . . . . 125Os problemas de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 125Terminologia para descrever m´aquinas de Turing . . . . . . . . . . . 127
Exerc´ ıcios e Problemas
. . . . . . . . . . . . . . . . . . . . . . . . . 129
4 Decidibilidade 133
4.1 Linguagens decid´ıveis ...................... . . . . . . . . . . . . 133Problemas decid´ıveis concernentes a linguagens regulares . . . . . . . 134Problemas decid´ıveis concernentes a linguagens livres-do-contexto . . 1374.2 O problema da parada....................... . . . . . . . . . . . . 139O m´etodo da diagonalizac¸˜ao . . . . . . . . . . . . . . . . . . . . . . 140O problema da parada ´e indecid´ıvel . . . . . . . . . . . . . . . . . . 144Uma linguagem Turing-irreconhec´ıvel . . . . . . . . . . . . . . . . . 147
Leave a Comment
Até que enfim achei este livro vai me ajudar muito eu agradeço muito por ter disponibilizado ele, thank's!!!
no youtube disponibilizei uns vídeos, sobre autômatos finitos