Talk:Self-verifying finite automaton