JFLAP

JFLAP

JFLAP는 비 결정적 유한 오토마타, 비 결정적 푸시 다운 오토마타, 멀티 테이프 튜링 머신 등 공식 언어 주제를 실험하기위한 소프트웨어입니다.
JFLAP는 비 결정적 유한 오토마타, 비 결정적 푸시 다운 오토마타, 멀티 테이프 튜링 머신, 여러 유형의 문법, 파싱 및 L- 시스템을 포함한 공식 언어 주제를 실험하기위한 소프트웨어입니다.이에 대한 예제를 구성하고 테스트하는 것 외에도 JFLAP를 사용하면 NFA를 DFA에서 최소 상태 DFA로 정규식 또는 정규 문법으로 변환하는 것과 같이 한 형태에서 다른 형태로 구성 증명을 실험 할 수 있습니다.
jflap

웹 사이트:

Linux 용 JFLAP의 대안