Hispanopedia WikiLa síntesis reactiva (o síntesis temporal ) es el campo de la informática que estudia la generación automática de máquinas de estados (por ejemplo, máquinas de Moore ) a partir de especificaciones de alto nivel (por ejemplo, fórmulas en lógica temporal lineal ). El término "reactividad" destaca que la máquina sintetizada interactúa con el usuario, leyendo una entrada y produciendo una salida, sin interrumpir nunca su funcionamiento.
El problema de síntesis fue introducido por Alonzo Church en 1962, [ 1 ] con especificaciones que son fórmulas en lógica monádica de segundo orden y máquinas de estados en forma de circuitos digitales.
Véase también
Referencias
- ↑ Church, Alonzo (1962). "Lógica, aritmética y autómatas". Congreso Internacional de Matemáticos . págs. 23–35 .
Categorías :
- Subcampos de la informática
- Lógica