ALAN TURING E O MODELO DE MÁQUINA UNIVERSAL …
Uma máquina de Turing é um conjunto de quintuplas da forma (e, i, i', e', s). e, e' Є E; i, i' Є I; s {D,E} e duas quíntuplas distintas nunca começam com os mesmos símbolos e, i. A Tabela 1 apresenta um exemplo do funcionamento de uma mT que tem a função de agrupar os símbolos 1s submetidos como entrada. A tabela tem 5 colunas que