Qual foi a máquina que formalizou o conceito de execução de uma tarefa com passos finitos?