Please enable JavaScript.
Coggle requires JavaScript to display documents.
01 - Introdução de Máquinas Abstratas (AMN (Abstract Machine Notation,…
01 - Introdução de
Máquinas Abstratas
AMN
Abstract Machine Notation
Notão usada para escrever as descrições
de máquinas abstratas
Máquina Abstrata
É a especificação (de uma parte) de um sistema
Tem
OPERATIONS
Conjunto de operações oferecidas ao usuário representam
a interface do sistema
outputs <- name (inputs)
PRE
THEN
END
apenas
name
é obrigatório
VARIABLES
variáveis de estado
INVARIANT
informação que sempre deve ser verdade
(independente da sequência de operações realizada)
INITIALISATION
estado inicial
MACHINE
nome da máquina
(para poder ser referenciada por outras)
END