프로그램별 www.cs.virginia.edu/~ph4u/dprle/

dprle 무료

DPRLE(정규 언어 방정식에 대한 의사 결정 절차)은 언어 변수 및 연결과 관련된 하위 집합 제약 조건을 해결합니다.