Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

BerrySethiAlgo Struct Template Reference

This is the visitor that really computes Berry-Sethi. More...

List of all members.

Public Types

typedef Element< S, T > exp_t
 Type of the argument to provide to the constructor.

typedef linearize_element<
S, T >::element_t 
linear_exp_t
 Types from linearize_element.

typedef linearize_element<
S, T >::alphabet_t 
linear_alphabet_t
 Types from linearize_element.

typedef linearize_element<
S, T >::letter_t 
etiq_t
 Types from linearize_element.


Public Member Functions

 BerrySethiAlgo (const series_t &series, const exp_t &exp)
 Default constructor.

std::set< etiq_tdelta (const etiq_t &e, const letter_t &l)
 This is the delta function for the constructed automaton.

bool is_initial (const etiq_t &e) const
 Those functions indicates whether a state is final or initial.

bool is_final (const etiq_t &e) const
 Those functions indicates whether a state is final or initial.


Detailed Description

template<typename T_auto, typename S, typename T>
struct vcsn::BerrySethiAlgo< T_auto, S, T >

This is the visitor that really computes Berry-Sethi.

This class should be used only in berry_sethi() and should not be instanciated from elsewhere.

It is derived from MathAutomataConstructor because we want to use the mathematical definition of the Berry-Sethi automaton.

It defines the constructor to give a correct set to MathAutomataConstructor constructor. It also defines is_initial and is_final for a labeled state, and delta function.

Bug:
FIXME: Change the zero-letter.

FIXME: Check efficiency.

FIXME: Check results of derivation.

See also:
berry_sethi()


Constructor & Destructor Documentation

BerrySethiAlgo const series_t &  series,
const exp_t exp
[inline]
 

Default constructor.

This is the default constructor for BerrySethiAlgo, it calls the MathAutomataConstructor constructor with the linearized alphabet enriched with an extra letter as the set of states for the resulting automaton.

See also:
MathAutomataConstructor

Bug:
FIXME: Is it necessary to give the series as a separate argument?


Generated on Mon Mar 29 15:42:46 2004 for Vaucanson by doxygen 1.3.6-20040222