Yaal (Yet another automaton library) is a library that implements automatons like finite state automatons, finite state transducers, and pushdown automatons. Operations such as intersections, unions, and complements are available.
| Operating Systems | POSIX Linux |
|---|---|
| Implementation | C |