PAS: TEORÍA DE MÁQUINAS