MAC 414 - Autômatos, Computabilidade e Complexidade

• Descrição que consta do catálogo.
  
  
• Mais informações, fórum, etc, no edisciplinas.
  
  
• 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.
  
  
  
  
  
  
• Enunciados das listas de exercícios.
  
  
  
• Horário:
  Segunda: 10:00-11:40
  Quarta: 8:00-9:40
  (o Jupiter tem uma opinião diferente, mas é isso que vale)
  Local: link correspondente no edisciplinas.