Programmes par yaal.sf.net

Yaal est un libraray qui a implémenté des automates comme des automates d’état finis, des transducteurs d’état finis et des automates pushdown. Les opérations les plus importantes sur ces automates comme l’intersection, le sy