Automata 2b 拘束