Login / Signup

On the complexity of existence of homing sequences for nondeterministic finite state machines.

Natalia G. KushikVictor V. KulyaminNina V. Evtushenko
Published in: Program. Comput. Softw. (2014)
Keyphrases
  • finite state machines
  • finite state automata
  • hidden markov models
  • model checking
  • computational complexity
  • computational cost
  • regular expressions
  • finite automata
  • databases
  • video sequences
  • initial state