Revisão rápida da última aula. Mostrou a decidibilidade de vários problemas sobre autômatos e gramáticas: DFA, NFA, DFA, DFA e CFG. Também mostrou que TM é T-reconhecível.Instrutor:

Prof. Michael Sipser