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

• Métodos formais
• Especificação formal

Referências

Este artigo foi originalmente baseado em material do Free On-line Dictionary of Computing que é licenciado sob a GFDL.

Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Editor: considere marcar com um esboço mais específico.