Vaucanson
1.4.1
|
Contains the declaration for the Brzozowski algorithm. More...
Go to the source code of this file.
Namespaces | |
namespace | vcsn |
The main namespace of the Vaucanson library. |
Functions | |
template<typename A , typename T , typename Exp > | |
void | brzozowski (Element< A, T > &, const Exp &) |
Build an automaton from an expression using the Brzozowski construction. |
Contains the declaration for the Brzozowski algorithm.
Definition in file brzozowski.hh.