Notação de máquina abstrata
Notação de máquina abstrata (NMA) é uma especificação de linguagem e linguagem de programação (abstrata) para especificar máquina abstratas no Método-B, baseada na teoria matemática das Substituições generalizadas.
Veja também editar
Referências
Este artigo foi originalmente baseado em material do Free On-line Dictionary of Computing que é licenciado sob a GFDL.
