線形拘束オートマトン