반응 합성

Reactive synthesis

반응 합성(또는 시간 합성)은 높은 수준의 사양(예: 선형 시간 로직의 공식)에서 상태 기계(예: 무어 기계)의 자동 생성을 연구하는 컴퓨터 과학 분야이다."반응성"은 합성된 기계가 사용자와 상호 작용하여 입력을 읽고 출력을 생성하며 작동을 멈추지 않는다는 사실을 강조합니다.

합성 문제는 1962년 [1]Alonzo Church에 의해 도입되었으며, 사양은 모노딕 2차 논리와 디지털 회로 형태의 상태 기계로 공식화되었습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Church, Alonzo (1962). "Logic, arithmetic, and automata". International Congress of Mathematicians. pp. 23–35.