Questão 12 Você faz parte da equipe de desenvolvimento de um laboratoro de pesquisa em ciência da computação que precisa criar um simulador educacional para comparar passo a passo a execução de algoritmos em dois modelos abstratos: uma máquina de registradores (maquina Norma) e uma máquina de Turing de fta única. O projeto tem por objetivo demonstrar conceitos teoricos como funçao computada, equivalência de programas elimtes trazidos peto problema da pareda Para o caso de estudo, os desenvolvedores implementaram duas versoes do mesmo algoritmo (calculo do fatoral: uma em estilo registrador (com instrugões de incremento, decremento e saltos condicionais) e outra como tabela de transicões de uma máguina de Turng A equipe tambem'esta documentando a histónae os modelos formais que justificam a escolha fTuring, Church. Godel) parauso pedagógico no eimuiador Qual dos seguintes modelos discuticos na documentacao do projeto, for originalmente proposto por Alan Turing como um modelo abstrato de computação? A. Maguina de registradores (maquina Norma) B. Maquina RAM C. Maquina de Turing D. Cálculo A E. Máquina de Post