Welcome to the Automata Standard Template Library home page. ASTL is a set of generic and efficient C++ components for automata manipulation. It provides a collection of new concepts and header files which one can reuse under the terms of the Lesser GNU Public License. The library has been designed and tested with the latest versions of g++. Design The library design is inspired by generic program