minimize-brzozowski.hh

Go to the documentation of this file.

#ifndef VCSN_ALGOS_MINIMIZE_BRZOZOWSKI_HH
# define VCSN_ALGOS_MINIMIZE_BRZOZOWSKI_HH

# include <vcsn/algos/determinize.hh>
# include <vcsn/algos/strip.hh>
# include <vcsn/algos/transpose.hh>

namespace vcsn
{

  /*-------------------------------------------.
  | minimization with Brzozowski's algorithm.  |
  `-------------------------------------------*/

  template <typename Aut>
  inline
  auto
  minimize_brzozowski(const Aut& a)
    -> decltype(determinize(codeterminize(a)))
  {
    return determinize(codeterminize(a));
  }

  template <typename Aut>
  inline
  auto
  cominimize_brzozowski(const Aut& a)
    -> decltype(transpose(minimize_brzozowski(transpose(a))))
  {
    return transpose(minimize_brzozowski(transpose(a)));
  }

} // namespace vcsn

#endif // !VCSN_ALGOS_MINIMIZE_BRZOZOWSKI_HH