開發者 yaal.sf.net

yaal 免費

Yaal 是一種天秤座，它實現了有限狀態自動機、有限狀態感測器和下推自動機等自動機。這個自動機上最重要的操作，如交集，聯合和補機是可用的。