CMSimulator

카운터 기계 및 공식 문법 시뮬레이터.

CMSimulator 응용 프로그램은 Finite State Automaton, Pushdown Automaton, Linear Bounded Automaton, Turing machine 등 네 가지 가장 유명한 카운터 시스템을보다 잘 이해할 수 있도록 도와줍니다. 파일에서 새 솔루션을 만들거나 기존 솔루션을로드 할 수 있습니다. 응용 프로그램에는 또한 각 유형의 기계에 대한 예제가 들어 있습니다.

또한 응용 프로그램을 사용하면 Chomsky 계층의 네 가지 유형의 공식 문법 (정규 문법, 문맥 자유 문법, 상황에 맞는 문법, 제한없는 문법)을보다 잘 이해할 수 있습니다. 파일에서 새 솔루션을 만들거나 기존 솔루션을로드 할 수 있습니다. 이 응용 프로그램에는 예제도 들어 있습니다.

기호, 상태, 전환 규칙 목록을 만들고 초기 상태와 최종 상태를 선택할 수도 있습니다. 그런 다음 테이프를 채우고 단계별로 솔루션을 시뮬레이션하거나 시뮬레이션이 끝날 때까지 바로 갈 수 있습니다. 기계가이 중단 점에 도달 할 때 시뮬레이션을 일시 정지하기 위해 테이프 요소를 중단 점으로 표시 할 수도 있습니다.

비 결정적인 기계 및 솔루션도 지원됩니다.

자신 만의 문법을 정의하고 정의 된 문법에 속하는 경우 단어를 테스트하고 4 가지 종류의 시각화 (파생 테이블, 유도 트리, 선형 파생, 고정 파생)로 파생 프로세스를 시각화 할 수 있습니다. 응용 프로그램에는 여러 단어를 동시에 테스트 할 수있는 대화 형 기능이 포함되어 있습니다.

응용 프로그램이 아직 개발 중입니다. 버그를 발견하면 알려주세요.