형식 언어 (역링크)



이 역링크 목록은 을 기준으로 생성되었습니다.
  • 술어 논리
  • 오토마타
  • 촘스키 계층