การสังเคราะห์เชิงปฏิกิริยา (หรือการสังเคราะห์เชิงเวลา ) เป็นสาขาหนึ่งของวิทยาการคอมพิวเตอร์ที่ศึกษาการสร้างเครื่องสถานะอัตโนมัติ (เช่นเครื่องมัวร์ ) จากข้อกำหนดระดับสูง (เช่น สูตรในตรรกะเชิงเวลาเชิงเส้น ) "ปฏิกิริยา" เน้นย้ำถึงข้อเท็จจริงที่ว่าเครื่องที่สังเคราะห์ขึ้นจะโต้ตอบกับผู้ใช้ โดยอ่านข้อมูลเข้าและสร้างข้อมูลออก และไม่หยุดการทำงานเลย

ปัญหาการสังเคราะห์ได้รับการแนะนำโดยAlonzo Churchในปี พ.ศ. 2505 ^{[ 1 ]}โดยมีข้อกำหนดเป็นสูตรในตรรกะลำดับที่สองแบบเอกภาคและเครื่องสถานะในรูปแบบของวงจรดิจิทัล

• การสังเคราะห์โปรแกรม
• การตรวจสอบแบบจำลอง