Explicações Autómatos, Linguagens Formais

zebaril

Power Member
Olá..não sei em que categoria vou fazer isto..faltam-me estas duas cadeiras para concluir a licenciatura e precisava de uma ajuda..nestes conteúdos..


Ninguém conhece por ai alguém que dê explicações sobre o assunto, algum prof, ou curioso..

Autómatos finitos.
Expressões regulares.
Linguagens regulares.
Autómatos de pilha.
Gramáticas livres-de-contexto.
Linguagens livres-de-contexto.
Parsing.
Máquinas de Turing.
Tese de Church-Turing.
Hierarquia de Chomsky.


Muito obrigado
 
Na FCT tem uma enorme carrada de PDF's até bakanos, exames e exercicios de exame resolvidos e exercicios propostos...
o problema que estão no Moodle com acesso exclusivo a quem frequenta a cadeira. (É apenas uma cadeira)

Engraçado que por ca isso conheço por

Gramáticas livres-de-contexto -> Gramáticas Independente do Contexto
Parsing -> Análise Sintática Ascendente ou LL(1) e Descendente oU LR(0),LR(1).

Agora o que queres saber com este tópico?

e tive exame disso hoje
 
Na FCT tem uma enorme carrada de PDF's até bakanos, exames e exercicios de exame resolvidos e exercicios propostos...
o problema que estão no Moodle com acesso exclusivo a quem frequenta a cadeira.

Engraçado que por ca isso conheço por

Gramáticas livres-de-contexto -> Gramáticas Independente do Contexto
Parsing -> Análise Sintática Ascendente ou LL(1) e Descendente oU LR(0),LR(1).

Agora o que queres saber com este tópico?

No lei-forum também há bastantes coisas :)
 
pra materia inicial que ele fala usei
Hopcroft, John E.;Introdução à teoria de autômatos, linguagens e computação. ISBN: 85-352-1072-5

pro parsing usei
Louden, Kenneth C.;Compiler construction. ISBN: 0-534-93972-4

mas dei a materia em cadeiras diferentes.
 
Última edição:
Se há cadeiras que se fáz bem sem livros é esta :)

Importante é irem as práticas e perceber bem aquilo. Do resto não é dificil, pode ter coisas mais complicadas, como Maquinas de Turing e Verificação de Programas (método de Floyd)
 
Back
Topo