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)
	Returns the automaton corresponding to the second tape of the transducer. More...
automaton_t	awali::dyn::image (transducer_t tdc)
	Returns the automaton corresponding to the second tape of the transducer. More...
transducer_t	awali::dyn::images (transducer_t tdc)
	Projects out the very first tape of the transducer. More...
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

)