Autòmats linealment acotats