Buenas, dejo por acá el link a las notas de teoría de lenguajes que incluyen el tema máquinas de Turing y un video que me salió en youtube hace un par de días donde da una introducción visual al cálculo lambda. El video en particular me parece que es muy disfrutable incluso para aquellos que ya conozcan del tema.
Saludos,
Gabriel