프로그램별 yaal.sf.net

Yaal은 유한 상태 오토마톤, 유한 상태 트랜스듀서 및 푸시다운 오토마톤과 같은 오토마톤을 구현한 천칭 선칭입니다. 교차로, 조합 및 보완과 같은 이 오토마톤에서 가장 중요한 작업을 사용할 수 있습니다.