모나 수식을 유한 상태로 변환하는 도구
지금 다운로드

모나 순위 및 요약

모나 태그

공식 오토 마톤 한정된 셀룰러 오토 마타 뷰어 셀룰러 오토 마타 오토 마타 다 Automata Synthesis. 유한 상태 머신 구축 번역 유한 세트 뷰어를 설정합니다 유한 세트를 봅니다 유한 집합 표시 헤지 오토 마이타 크리에이터 유한 기계를 만듭니다 유한 상태 기계를 생성 유한 상태 기계 제작자 Automata 자동 분석 유한 변형 기차 트랙 오토 마타 Automata Builder. 홈 뮤직제 오토 마타타 번역 Automaton Analyzer. 유한상태 오토마타 HodgePodge 셀룰러 오토 마타 셀룰러 오토 마타 시뮬레이션 유한 차이

모나 설명

모나 (Mona)는 수식을 유한 상태로 변환하는 빠른 수단을 제공하기 위해 만들어진 간단한 유틸리티입니다. 수식은 검색 패턴, 반응성 시스템의 시간적 특성, 파싱 트리 제약 등을 나타낼 수 있습니다. Mona는 컴파일로 인한 오토 마톤을 분석하고 "유효한"또는 카운터 예제를 인쇄합니다.

모나 관련 소프트웨어