is_ltl.hh File Reference

Letter-to-letter feature testing. More...

Include dependency graph for is_ltl.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  vcsn

Functions

template<typename S, typename A>
bool is_ltl (const Element< S, A > &t)
 Test whether an FMP transducer is letter-to-letter.


Detailed Description

Letter-to-letter feature testing.

An FMP transducer T over the free monoid product $A^\star\times B^\star$ is letter-to-letter (LTL) if and only if (1) the support of every of its transitions is in $A^\times B$, and (2) its initial and final weights are scalar.

Remarks:
Synonyms: ltl, letter-to-letter, lettre-à-lettre
See also:
is_ltl(), is_sub_normalized(), is_normalized()

Definition in file is_ltl.hh.


Generated on Mon Jul 6 17:46:15 2009 for Vaucanson by  doxygen 1.5.6