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

기술 편집

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

인명 편집

같이 보기 편집