 | 모나공식을 유한 상태로 변환합니다. |
| 지금 다운로드 | |
모나 순위 및 요약
광고
모나 태그
모나 설명
수식을 유한 상태로 변환합니다 Mona는 공식을 유한 상태로 번역 할 수있는 오픈 소스 및 무료 도구입니다. 수식은 검색 패턴, 반응성 시스템의 시간적 특성, 파싱 트리 제약 등을 나타낼 수 있습니다. Mona는 컴파일로 인한 오토 마톤을 분석하고 "유효한"또는 카운터 example.mona를 인쇄합니다. 두 번째 주문 이론에 대한 결정 절차를 구현합니다. 하나 또는 두 개의 후계자 (WS1S / WS2S). WS1S로 알려진 하나의 후계자의 이론은 유한 자연수 세트에 걸쳐 2 차 정량화로 증가 된 산술의 조각입니다. 첫 번째 용어는 그냥 자연수를 나타냅니다. 이론은 덧셈을하지 않으므로, 그 엑스가 없으므로 후속 함수로 알려진 단항 동작 +1을 갖추고 있습니다. WS2S는 트리 구조에 대한 일반화입니다. 이론이 모나드 2 차 로직이므로 우리는 우리의 도구 모나를 호출합니다. 이 릴리스에서는 새로운 기능 : · X = Y + 1 % Z에 대한 기본 오토 마톤의 버그가 수정되었습니다
모나 관련 소프트웨어
