I suggest to change the description of unambiguous automata to follow the formal definition (I don't like the word "recognized" in the current version). I suggest this:
unambiguous hints that, for each word, there is at most one accepting run of the automaton.
adl
commented
10 years ago
I suggest to change the description of unambiguous automata to follow the formal definition (I don't like the word "recognized" in the current version). I suggest this:
unambiguous hints that, for each word, there is at most one accepting run of the automaton.