Modelos formales de traducción

Publicado en Ingenierías Etiquetado con

Los modelos formales de traducción han emergido como enfoques analíticos en donde el desarrollo de software puede ser verificado por medio de poderosas teorías matemáticas, presentando ventajas en la calidad del software, tiempo de desarrollo, tamaño y complejidad de las pruebas. Sin embargo, aún existen muchos inconvenientes para la correcta implantación de los métodos formales como una metodología de desarrollo de software comúnmente aceptada en ingeniería de software.

Hasta el momento se reconocen como modelos formales de traducción los siguientes:

A. BNF (Forma Backus-Naur)

B. Autómatas

C. Algoritmo de análisis sintáctico eficiente

D. Modelado semántico

Fuente: Apuntes de Informática VII de la FCA de la UNAM