Found 1 document(s)
Page 1 of 1
-
A nondeterministic automaton is history-deterministic if its nondeterminism can be resolved by only considering the prefix of the word read so far. Due to their good compositional properties, historydeterministic automat...