awali::dyn::lift Namespace Reference

Namespace containing the functions allowing to execute the state elimination algorithm (aut_to_exp) step-by-step; probably will be moved elsewhere in the future. More...

Functions
void	eliminate_state (automaton_t aut, state_t s)
	Deletes a state from a lifted automaton. More...
void	eliminate_state_by_name (automaton_t aut, std::string state_name)
	Deletes a state from a lifted automaton. More...
automaton_t	lift (automaton_t aut)
	Builds some kind of copy of aut with weights that are rational expressions with the context of aut, and with no labels. More...

Detailed Description

Namespace containing the functions allowing to execute the state elimination algorithm (aut_to_exp) step-by-step; probably will be moved elsewhere in the future.

Function Documentation

eliminate_state()

void awali::dyn::lift::eliminate_state	(	automaton_t	aut,
		state_t	s
	)

Deletes a state from a lifted automaton.

Parameters

aut	Lifted automaton in which the state will be deleted
s	state to delete

Precondition

aut needs to accept rational expressions as labels; hence must result from function lift.

eliminate_state_by_name()

void awali::dyn::lift::eliminate_state_by_name	(	automaton_t	aut,
		std::string	state_name
	)

Deletes a state from a lifted automaton.

Parameters

aut	Lifted automaton in which the state will be deleted
state_name	Name of the state to delete

Precondition

aut needs to accept rational expressions as labels; hence must result from function lift.

lift()

automaton_t awali::dyn::lift::lift

(

automaton_t

aut

)

Builds some kind of copy of aut with weights that are rational expressions with the context of aut, and with no labels.

This is the first step in order to execute a step-by-step state elimination process. (See eliminate_state).

Parameters

aut

Returns

a new automaton

Example

automaton_t aut = .. // some boolean automaton over alphabet {a,b}
automaton_t lifted = lift(aut); // lifted is an automaton whose weights
                                // are boolean ratexp over {a,b}
state_t s = lifted->add_state();
lifted->set_transition(s,s,"","(a+b)*");