Teoría de autómatas y lenguajes formales - Kelley, Dean (Madrid : Prentice Hall, 1995)
Keywords: Autónomas; Lógica matemática; Lógica simbólica; Teoría de las máquinas