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 |
Detailed Description
Letter-to-letter feature testing.An FMP transducer t over the free monoid product A*xB*, where A and B are both alphabets, is of type ltl if and only if every transitions of t is in E, where E is defined by: E = {(a, b) | a A, b B}
- Remarks:
- Synonyms: letter-to-letter, lettre-à-lettre, synchronous, synchrone.
- Date:
- Fri Jul 4 13:42:52 2003
- See also:
- is_ltl(), is_sub_normalized(), is_normalized()
Definition in file is_ltl.hh.
