線形境界付きオートマトン