Computación semantica

 

Es el campo relacionado con el estudio matemático riguroso del significado de los lenguajes de programación , lo hace evaluando el significado de cadenas sintácticamente válidas definidas por un lenguaje de programación específico, mostrando el cálculo involucrado.  En tal  caso de la evaluación fuera de cadenas  sintácticamente inválidas, el resultado sería la no computación. La semántica describe los procesos que siguen una computadora cuando ejecutar un programa en este lenguaje específico, esto se puede mostrar describiendo la relación entre la entrada y la salida de un programa, o una explicación de como se ejecutará el programa en una determinada plataforma, creando asi un modelo de computación. En donde se puede combinar elementos de análisi, procedimientos del lenguaje natural, mineria de datos, gráficos de conocimiento y campos relacionados.