En la teoría de dominios , una rama de las matemáticas y la informática , un sistema de información de Scott es un tipo primitivo de sistema deductivo lógico que se utiliza a menudo como una forma alternativa de presentar los dominios de Scott .
Definición
Un sistema de información de Scott , A , es un triple ordenado
satisfactorio
Aquí medio
Ejemplos de
Números naturales
El valor de retorno de una función recursiva parcial , que devuelve un número natural o entra en una recursividad infinita, se puede expresar como un sistema de información de Scott simple de la siguiente manera:
Es decir, el resultado puede ser un número natural, representado por el conjunto singleton , o "recursividad infinita", representada por .
Por supuesto, la misma construcción se puede realizar con cualquier otro conjunto en lugar de .
Cálculo proposicional
El cálculo proposicional nos da un sistema de información de Scott muy simple como sigue:
Dominios de Scott
Sea D un dominio de Scott . Entonces podemos definir un sistema de información de la siguiente manera
- el conjunto de elementos compactos de
Dejar sea el mapeo que nos lleve desde un dominio de Scott, D , al sistema de información definido anteriormente.
Sistemas de información y dominios de Scott
Dado un sistema de información, , podemos construir un dominio de Scott de la siguiente manera.
- Definición: es un punto si y solo si
Dejar denotar el conjunto de puntos de A con el subconjunto ordenado.será un dominio de Scott con base contable cuando T sea contable. En general, para cualquier dominio D y sistema de información A de Scott
donde la segunda congruencia viene dada por asignaciones aproximadas .
Ver también
Referencias
- Glynn Winskel: "La semántica formal de los lenguajes de programación: una introducción", MIT Press, 1993 (capítulo 12)