线性界限自动机 【计】 linear bounded automation