Informasi yang berkaitan dengan vi/Automata theory