線形拘束_automaton