Programma's van yaal.sf.net

Yaal is een libraray die automaten implementeerde zoals eindige staatautomaten, eindige staattransducers en pushdown automaten. De belangrijkste bewerkingen op deze automaten zoals kruising, vereniging en aanvulling zijn besc