Una máquina de este tipo se representa de la siguiente forma