Automata függőleges vágó