시뮬레이션, 시각화 및 유한 상태 오토마타와 튜링 기계를 변환하기위한 도구입니다. 작성, 시뮬레이션 및 DFA 변환하여 NFA 기계를 작성 및 TM에 대한 TM 배치 시험을 시뮬레이션 : 유용한 기능이 빠르게 파일들을 테스트! 사용하기 쉬운 GUI 인터페이스 (다중 문서) 개체 기계 사이의 스마트 링크는 마우스를 사용하여 그릴 수 있습니다 - 그리고 여러 기계가 여러 문서가 될 수있는 동시에 문서를 열 수있는 하나의 문서에서 생성 할 수있는 모든 시간에...