Automaton assumes that hosts send/receive VLAN-tagged packets. So be it.