MAC 414 - Linguagens Formais e Autômatos

• Descrição que consta do catálogo.
  
  
• Mais informações, fórum, etc, no paca. Inscreva-se no fórum, nem que seja para receber por email avisos referentes ao curso.
  
  
• 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.
  
  
• Textos de apoio, complementando o que foi visto em aula.


• Pré requisitos reais para fazer a disciplina.
  
  
• Datas de provas e critério de aprovação.
  
  
  
• Enunciados das listas de exercícios.
  
  
  
• Curso de 2009, com exercícios e provas resolvidos.
  
  
• Horário:
  
  Segundas-feiras - 8:00-9:40
  Quartas-feiras - 10:00-11:40
  sala 6, bloco B
  Início das aulas: 9/8/2010, a não ser que um novo aviso seja emitido. Inscreva-se na lista para ficar informado.