Skip to content

is deterministic, etc.

In the process of moving to lal/lan, we now have algorithms that used to require a free labelset that no longer do. So for instance, is_deterministic used to refuse to work on lan, which was a problem btw when this lan automaton was proper. But now we have the converse issue: is_deterministic returns true on automaton which is deterministic if \e is viewed as a letter.

This is not acceptable. OpenFST does have this behaviour, but it would be a real nuisance when Vcsn is used for teaching: if you are not proper, you cannot be deterministic.

So we need an intermediate property, and make sure is-deterministic answers properly.

This applies to other properties. See in particular what automaton.info returns.