Acknowledgments

I would like to thank all the people who have worked on and with the library especially Dominique Revuz for his support and advices on the code design, Xavier Daragon for writing the very first version of this documentation and Arnaud Adan for his review and extension to the weighted automata and transducers.