MAC-414
MAC 414 - Linguagens Formais e Autômatos - 2009
-
Descrição que consta do catálogo.
- Mais informações, fórum, etc, no
paca.
Inscreva-se no fórum!
- Bibliografia
mais abrangente que a do catálogo.
- Software
de apoio ao curso.
- Seleção de referências
encontradas na rede, incluindo várias
aplicações de autômatos.
- Discussão sobre a complexidade das
várias transformações envolvidas no Teorema de Kleene. Inclui a explosão do
número de estados pela construção dos subconjuntos.
- Pré requisitos
reais para fazer a disciplina.
- Datas de provas e critério de aprovação.
- Enunciados das listas de
exercícios.
- Horário:
Terças-feiras - 10:00-11:40
Quintas-feiras - 8:00-9:40
sala 101, bloco B
Início das aulas: 4/8/2009, a não ser que um novo
aviso seja emitido. Inscreva-se na lista para ficar informado.
Arnaldo Mandel <am@ime.usp.br>
Última modificação: Thu Aug 12 11:42:41 BRT 2010
por am