Esquemas de TALF: Teoría de Autómatas y Lenguajes formales
¡OJO! Probablemente, este artículo no interese a lectores que no cursen una Ingeniería informática.
Este año en la asignatura de Teoría de Autómatas y Lenguajes formales he aprendido bastante sobre Autómatas finitos deterministas (DFA), Autómatas finitos no deterministas (NFA), Autómatas a pilas (PDA), Máquinas de Turing (MT) y otros.
Reorganizando apuntes y demás, he diseñado unos pequeños esquemas que aunque no bastan para estudiar con ellos la asignatura, si que pueden servir de ayuda a compañeros que cursen la asignatura (o futuros alumnos que lleguen hasta esta página).
Aún falta el tema de resolubilidad y el resto puede que contenga alguna errata, pero para usar de guía creo que sirven bastante bien.