Este documento describe máquinas de Turing y autómatas acotados. Explica que una máquina de Turing es un modelo computacional que lee y escribe automáticamente sobre una entrada llamada cinta, generando una salida. Incluye teoremas sobre lenguajes aceptados por máquinas de Turing y autómatas. También define autómatas acotados y provee ejemplos de máquinas de Turing.