Informasi yang berkaitan dengan vi/Pushdown automaton