Notação de máquina abstrata

Adicionar hiperligações
Origem: Wikipédia, a enciclopédia livre.

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 | editar código-fonte]

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.
Obtida de "https://pt.wikipedia.org/w/index.php?title=Notação_de_máquina_abstrata&oldid=54641837"