주 메뉴 열기

크립키의 다른 뜻은 다음과 같다.

기술편집

  • 크립키 구조: 논리학자 솔 크립키가 1963년 제안한, 비결정 유한 상태 오토마타의 일종

인명편집