항 (논리)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

재작성 시스템에서 상수, 변수, 함수 기호를 바탕으로 재귀 상태를 정의하기 위한 표현이다.