FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of
formal languages. To allow high-level programming with complex data structures, easy …