La 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 (p. ej., máquinas de Moore ) a partir de especificaciones de alto nivel (p. ej., fórmulas en lógica temporal lineal ). La "reactividad" resalta el hecho de que la máquina sintetizada interactúa con el usuario, leyendo una entrada y produciendo una salida, y nunca detiene su funcionamiento.
El problema de síntesis fue introducido por Alonzo Church en 1962, [1] con especificaciones que eran fórmulas en lógica monádica de segundo orden y máquinas de estados en forma de circuitos digitales.