Awali
Another Weighted Automata library
Functions
Transducer

Contains functions related to transducers. More...

Functions

transducer_t awali::dyn::compose (transducer_t tdc1, transducer_t tdc2)
 
automaton_t awali::dyn::domain (transducer_t tdc)
 
automaton_t awali::dyn::image (transducer_t tdc)
 
transducer_t awali::dyn::images (transducer_t tdc)
 
transducer_t awali::dyn::inverse (transducer_t tdc)
 
bool awali::dyn::is_of_finite_image (automaton_t tdc, unsigned i=0)
 
bool awali::dyn::is_realtime (transducer_t tdc)
 
bool awali::dyn::is_synchronizable (transducer_t tdc)
 
automaton_t awali::dyn::letterize_tape (automaton_t tdc, unsigned i=1)
 
transducer_t awali::dyn::realtime (transducer_t tdc)
 
transducer_t awali::dyn::synchronize (transducer_t tdc)
 

Detailed Description

Contains functions related to transducers.

Function Documentation

◆ compose()

transducer_t awali::dyn::compose ( transducer_t  tdc1,
transducer_t  tdc2 
)

◆ domain()

automaton_t awali::dyn::domain ( transducer_t  tdc)

Returns the automaton corresponding to the second tape of the transducer.

Parameters
tdc
See also
domain,projection

◆ image()

automaton_t awali::dyn::image ( transducer_t  tdc)

Returns the automaton corresponding to the second tape of the transducer.

Parameters
tdc
See also
domain,projection

◆ images()

transducer_t awali::dyn::images ( transducer_t  tdc)

Projects out the very first tape of the transducer.

Parameters
tdc
Returns
a new transducer
Beware The returned transducer may have 0 or 1 tape, but still be a
transducer

◆ inverse()

transducer_t awali::dyn::inverse ( transducer_t  tdc)

◆ is_of_finite_image()

bool awali::dyn::is_of_finite_image ( automaton_t  tdc,
unsigned  i = 0 
)

◆ is_realtime()

bool awali::dyn::is_realtime ( transducer_t  tdc)

◆ is_synchronizable()

bool awali::dyn::is_synchronizable ( transducer_t  tdc)

◆ letterize_tape()

automaton_t awali::dyn::letterize_tape ( automaton_t  tdc,
unsigned  i = 1 
)

◆ realtime()

transducer_t awali::dyn::realtime ( transducer_t  tdc)

◆ synchronize()

transducer_t awali::dyn::synchronize ( transducer_t  tdc)