Awali
Another Weighted Automata library

Namespace containing the functions allowing to execute the state elimination algorithm (aut_to_exp) stepbystep; 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...  
Namespace containing the functions allowing to execute the state elimination algorithm (aut_to_exp) stepbystep; probably will be moved elsewhere in the future.
void awali::dyn::lift::eliminate_state  (  automaton_t  aut, 
state_t  s  
) 
Deletes a state from a lifted automaton.
aut  Lifted automaton in which the state will be deleted 
s  state to delete 
aut
needs to accept rational expressions as labels; hence must result from function lift. void awali::dyn::lift::eliminate_state_by_name  (  automaton_t  aut, 
std::string  state_name  
) 
Deletes a state from a lifted automaton.
aut  Lifted automaton in which the state will be deleted 
state_name  Name of the state to delete 
aut
needs to accept rational expressions as labels; hence must result from function 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.
The result is a normalized automaton: there are two extra states, a single initial state and a final extra state.
This is the first step in order to execute a stepbystep state elimination process. (See eliminate_state).
aut 
Example