Programmi di yaal.sf.net

Yaal è un libraray che ha implementato automi come automi a stati finiti, trasduttori a stati finiti e automi pushdown. Sono disponibili le operazioni più importanti su questi automi come intersezione, unione e complemento.