Se puede pensar en una UC como una máquina de estado finito.