Finite State Automata (FSAM)

유한 상태 오토마타 및 기계 생성 및 시뮬레이션

FSAM은 JFLAP에서 많은 영감을 받은 모바일용 유한 상태 기계 시뮬레이터입니다. 현재 유한 상태 오토마타, 푸시다운 오토마타 및 튜링 머신을 지원합니다.

시뮬레이터는 다음 도구와 기능을 제공합니다.

일반적인:

- 카메라 줌

- 카메라 이동

- 카메라 재초점

FSA 구성 기능:

- 상태 도구 이동

- 상태 도구 구성

- 상태 도구 생성

- 전환 도구 만들기

- 도구 삭제

파일 I/O 기능:

- FSAM으로 저장

- FSAM으로 로드

- JFF로 저장

- JFF로 로드

시뮬레이션 기능:

- 단계별 및 폐쇄 단계

- 단계

- 추적 상태 기록

- 시뮬레이션 상태 고정/고정 해제

- 시뮬레이션 상태 제거

- 빠른 실행 / 대량 테스트

변환 기능:

- DFA 최소화

- NFA를 DFA로 변환