Post on 15-May-2018
LinguagensFormaiseAutômatos
AndreiRimsaÁlvares
ApresentaçãodaDisciplina
Computação
• HistóricodaComputação
• Ábaco• China• Aprox.3500a.c.
• MáquinadeBabbage• Inglaterra• 1823
• ENIAC• EstadosUnidos• 1946
Oquepodesercomputado?
Computação
• Oquepodesercomputado?– Nãoimportaquantotemposejapreciso
– Nãoimportaquantamemóriasejanecessária
• Doquepodesercomputado,comomedirsuaeficiência?– Oquepodesercomputadoeficientemente?
– Háproblemasimportantesquenãoadmitemsoluçãoeficiente?
Comoresolverproblemas?
Algoritmos
• Problemasdevemserresolvidosatravésdealgoritmos
Qualoproblemadeseusaraintuição?
• Masoqueéumalgoritmo?– Éumprocessofinitodeaçõesparaexecutarumadeterminadatarefa
• Algoritmospossuemumpapelimportantenamatemá\ca– Exemplo:algoritmodeEuclidesparacalcularMDC
• AlgoritmossóforamdefinidosformalmentenoséculoXX– Matemá\cosbaseavam-senanoçãointui\vadealgoritmo
Algoritmos
• Omatemá\coDavidHilbertpropôs23problemas♣quenaépocanão\nhamsolução
• O10ºproblemaeraumproblemacomputacional– Encontrarum"algoritmo"capazdedeterminarseumpolinômiocomcoeficientesinteirospossuiraízesinteiras
– Hojesesabequeessealgoritmonãoexiste• Oproblemaéindecidível
Provarqueumalgoritmonãoexisterequerumadefiniçãoformaldoconceitodealgoritmo!
♣︎:hfps://pt.wikipedia.org/wiki/Problemas_de_Hilbert
Algoritmos
• Adefiniçãoformaldealgoritmoveioapenasem1936,apar\rdetrabalhosdeChurch,TuringeGödel/Kleene
• Definiuoconceitodealgoritmosatravésdanotaçãoλ-calculus
AlonzoChurch
Algoritmos
• Adefiniçãoformaldealgoritmoveioapenasem1936,apar\rdetrabalhosdeChurch,TuringeGödel/Kleene
AlanTuring
• Definiuoconceitodealgoritmosatravésdeumamáquina(MáquinadeTuring)
Algoritmos
• Adefiniçãoformaldealgoritmoveioapenasem1936,apar\rdetrabalhosdeChurch,TuringeGödel/Kleene
• Definiramaclassedasfunçõescomputáveiscomosendoaclassedasfunçõesrecursivasparciais
KurtGödel StephenKleene
TeoriadaComputação
• Oestudodateoriadacomputaçãoestárelacionadocomtrêsáreasfundamentais
ComputabilidadeAutômatos Complexidade
DisciplinaLFA
DisciplinaAED
TeoriadaComputação
• TeoriadosAutômatos
– Dentrodessateoriasãoapresentadasmáquinasabstratasquecapturamaspartesessenciaisdemáquinasconcretas
– Permiteestudaracomputaçãodeformasimples,sementrarnosdetalhesdearquiteturaquepodemprejudicaranoçãodecomputação
– Mostraqueautômatosfinitossãobonsmodelosparacomputadorescomumaquan\dadeextremamentelimitadadememória,masqueaindaconseguemresolverumagrandequan\dadedeproblemas
TeoriadaComputação
• TeoriadaComputabilidade
– Inves\gaopoderdosalgoritmosnaresoluçãodeproblemas
– Apresentaumarcabouçoteóricopara• Indicarproblemasquepodemserresolvidosporalgoritmos• Indicarproblemasquenãopodemserresolvidosporalgoritmos
TeoriadaComputação
• TeoriadaComplexidade
– Divideproblemascomputacionaisemduasclasses:fáceisedi?ceis• Relacionadoscomasuacapacidadederesolveroproblemaemfunçãodasdimensõesdetempoeespaço
– Estudaocomportamentodotempodeexecuçãodeumprogramaemfunçãodotamanhodesuaentrada
Crescimentoexponencialpodetornarumalgoritmoinu\lizávelparaproblemasdegrandeporte
Disciplina
• LinguagensFormaiseAutômatos– Sistemasderepresentação
• Máquinasabstratas(Mecanismos)capazesdereconhecersistemasderepresentação(Reconhecedores)
• Correspondênciaentresistemasderepresentaçãoereconhecedores
– Noçõesgeraissobrecondiçõesdeprocessamentodossistemasderepresentação• Limitesdecomputabilidade• Complexidadedeprocessamento
Paraqueéimportanteestudarisso?
Disciplina
• Aplicações
ProcessadoresdeTexto Compiladores
LinguagensdeProgramação ProjetosdeHardware/Souware
Disciplina
• Ferramentadeapoio
• JFLAPv7.0• hfp://jflap.org
Disciplina
• Curiosidade
MáquinadeTuringfeitadeLego♣︎
AndersNissen
♣︎:hfps://www.youtube.com/watch?v=cYw2ewoO6c4
LinguagensdeProgramação
EMENTA,AVALIAÇÕES,REGRAS
• Ocursoédivididoemquatromódulos
Ementa
1) Máquinasdeestadosfinitos(LinguagensRegulares–LR's)
2) Autômatoscompilha(LinguagensLivresdeContexto–LLC's)
3) MáquinasdeTuring(LinguagensSensíveisaoContexto–LSC's,LinguagensRecursivas–LR's,LinguagensRecursivamenteEnumeráveis–LRE's)
4) Decidibilidade
• Máquinasdeestadosfinitos
Ementa
• AutômatosFinitosDeterminís\cos(AFD)– MinimizaçãodeAFDS– Propriedades
• AutômatosFinitosNão-Determinís\cos(AFN)– EquivalênciaentreAFD'seAFN's– AFNestendido
• Máquinasdeestadosfinitos
Ementa
• ExpressõesRegulares
• Gramá\casRegulares
• Propriedades– Lemadobombeamento– Propriedadesdefechamento
• Autômatoscompilha
Ementa
• AutômatoscomPilhaDeterminís\cos(APD)
• AutômatoscomPilhaNão-Determinís\cos(APN)
• Autômatoscompilha
Ementa
• Gramá\casLivresdeContexto(GLC's)– DerivaçõeseAmbiguidades– Manipulaçãodegramá\cas– Formasnormais(ChomskyeGreibach)– Transformaçõesde/paraAP
• Propriedades– Lemadobombeamento– Propriedadesdefechamento
• MáquinasdeTuring
Ementa
• MáquinasdeTuringDeterminís\cas– VariaçõesdeMáquinasdeTuring
• MáquinasdeTuringNão-Determinís\cas
• Gramá\caseMáquinasdeTuring
• Decidibilidade
Ementa
• ProblemasIndecidíveis– ProblemadaParada
• ProblemasdeDecisão
HierarquiadeChomsky
LinguagensRecursivamenteEnumeráveis
LinguagensRecursivas
LinguagensSensíveisaoContexto
LinguagensLivresdeContexto
LinguagensRegulares
AFDeAFNGRER
APDeAPNGLC
Ƿ(Σ∗)
ALLGSC
MTGI
Avaliações
• Prova1– Pontuação:25pts– Data:10/04/2018
• Prova2– Pontuação:25pts– Data:17/05/2018
• Prova3– Pontuação:25pts– Data:21/06/2018
• ProvaSuplementar– Pontuação:25pts– Data:28/06/2018
• ProvaEspecial– Pontuação:100pts– Data:03/07/2018
Avaliações
• Listasdeexercícios– Pontuação:15pts– Data:umasemanaapósaaulasobreotemadado
• Trabalho– Pontuação:10pts– Data:adefinir
Regras
• Apresençaéobrigatóriaem75%dasaulas– Emtodasasaulashaveráchamada– Nãohaveráabonodefaltas,salvooscasosprevistosporlei
• Aprovaéindividualesemconsulta– Apósoiníciodaprova,deve-seesperarnomínimo30minutosantesdeentregaraprova
– Colasserãopenalizadascomnotazero
• Trabalhoscopiados,parcialmenteouintegralmente,decolegas,dainternetoudequalqueroutrafonteserãoavaliadoscomnotazero
• Listasdevemserfeitasàmãoeentreguesantesdoiníciodasaulas
Estudem!
LinguagensFormaiseAutômatos
BIBLIOGRAFIA
Bibliografia
• VieiraN.• IntroduçãoaosFundamentos
daComputação• 1aedição,2006
• HopcrouJ.,MotwaniR.UllmanJ.• Introduc\ontoAutomataTheory,
Languages,andComputa\on• 3aedição,2006
Bibliografia
• SipserM.• Introduc\ontotheTheory
ofComputa\on• 3aedição,2012
• Sudkamp,T.• LanguagesandMachines:An
Introduc\ontotheTheoryofComputerScience
• 3aedição,2005
LinguagensFormaiseAutômatos
ISSOÉTUDOPESSOAL!