Autômatos: Questões, Simulados e Provas

A teoria dos autômatos é uma área da ciência da computação que utiliza conceitos matemáticos para estudar modelos abstratos de máquinas computacionais. Considere os tipos de autômatos e suas capacidades. Qual das afirmativas abaixo é correta?