Rogério Reis


Err and err and err again, but less and less and less.

Apontamentos e Bibliografia
Livros Aconselhados
Stacks Image 394
Introduction to Automata Theory, Languages, and Computation, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman,, Addison-Wesley, 2006. ISBN 0-321-47617-4

Existem diversas exemplares deste livro na biblioteca do DCC. Os mais corajosos podem experimentar a primeira edição (em vez da 2ª ou 3ª) que é bastante mais completa. Esta edição pode ser encontrada a muito bom preço (menos de €10 nos alfarrabistas da rede).
Stacks Image 397
Automata and Computability. Dexter C. Kozen, Springer, 1997. ISBN 0-387-94907-0

Disponível na biblioteca do DCC
Stacks Image 400
Finite Automata. Mark V. Lawson, Chapman & Hall/CRC, 2004. ISBN 1-58488-255-7

Disponível na biblioteca do DCC
Apontamentos:
Os apontamentos aqui disponibilizados estão longe de se encontrar na sua forma definitiva. Devem portanto ser encarados como um rascunho do que venha eventualmente a ser a sua forma final. Quaisquer erros encontrados (que podem não ser poucos) agradeço que me sejam comunicados para o meu email para que uma versão melhorada possa ser publicada.

  • Linguagens (última modificação: 03/04/2011 23:14)
  • Autómatos Finitos (última modificação: 25/06/2011 20:16)
  • Expressões Regulares (última modificação: 03/04/2011 23:14)
  • Autómatos Mínimos (última modificação: 03/04/2011 23:14)
Exercícios para as aulas práticas:

  • Folha 1 (última modificação: 20/02/2011 10:09)
  • Folha 2 (última modificação: 23/02/2011 15:43)
  • Folha 3 (última modificação: 11/03/2011 10:49)
  • Folha 4 (última modificação: 21/03/2011 09:59)
  • Folha 5 (última modificação: 26/03/2011 17:50)
  • Folha 6 (última modificação: 31/03/2011 18:10)
  • Folha 7 (última modificação: 08/04/2011 15:37)
  • Folha 8 (última modificação: 25/04/2011 10:19)
  • Folha 9 (última modificação: 08/05/2011 19:19)
  • Folha 10 (última modificação: 16/05/2011 13:45)
  • Folha 11 (última modificação: 24/05/2011 17:27)