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.