Redirecting..
https://en.wikipedia.org/wiki/Variational_automaton