Máquina Norma e Modelo Formal da Máquina de Turing
Simulações da Máquina Norma
A máquina Norma exemplifica diversas simulações com as seguintes características:
- Operações e Testes: Adição, subtração, multiplicação, divisão e testes sobre números primos.
- Valores Numéricos: Armazenamento e tratamento de diversos tipos, como inteiros ($\mathbb{Z}$) e racionais ($\mathbb{Q}$).
- Dados Estruturados: Acesso, armazenamento e tratamento de arranjos, vetores, pilhas, etc.
- Endereçamento Indireto e Recursão: Desvio para uma instrução determinada pelo conteúdo de um registrador e simulação de mecanismos de recursão.
- Cadeias de Caracteres: Definição e manipulação.
Diversas características de máquinas reais são simuladas usando a máquina Norma, reforçando a evidência de que, de...