linear bounded automata

[ریاضیات] ماشین خودکار خطی کراندار