ماشین کراندار خطی یک ماشین تورینگ غیر قطعی است که بتوان برای زبان مورد پذیرش آن یک کران بالای خطی بر حسب تعداد ورودی ها برای خانههای مورد نیاز نوار ارائه کرد.
به این معنا که برای زبانی مثل زبان [tex]a^nb^nc^n[/tex] که طول آن ۳n است اگر ماشین تورینگش را بنویسیم به همان ۳n خانه نیاز داریم. گاهی توابع پیچیده هستند و مجبوریم از خانه های بیشتری روی نوار کمک بگیریم در این صورت اگر طول رشته ورودی n باشد و تورینگ ما به [tex]\theta(n)[/tex] خانه از نوار برای محاسبات نیاز داشته باشد این ماشین LBA و زبان مربوطش حساس به متن خواهد بود.
برای پیاده سازی LBA برای پذیرش زبان [tex]a^{n!}[/tex] باید رشته ی ورودی را به ۲ تقسیم کنیم سپس خارج قسمت را به ۳ تقسیم کنیم بعد خارج قسمت حاصل را به ۴ تقسیم کنیم و.... و این روند را تا رسیدن به یک a ادامه دهیم اگر در تمام تقسیم ها باقی مانده نیاوردیم ودر نهایت هم به یک رسیدیم پس تعداد a ها به صورت فاکتوریل بوده است و به حالت فاینال می رویم و رشته پذیرفته می شود در غیر این صورت رشته پذیرفته نمی شود.
مثلا اگر رشته ورودی aaaaaa باشد در ابتدا می آییم رشته را به دو تقسیم می کنیم یعنی مقسوم علیه ما aa است و خارج قسمت aaa حالا خارج قسمت را به سه تقسیم می کنیم یعنی مقسوم علیه aaa است و خارج قسمت a. چون به a رسیدیم و در هیچ کدام از تقسیم ها هم باقی مانده نداشتیم به حالت فاینال می رویم.
اگر |w| طول رشته ورودی باشد
به [tex]\frac{|w|}{2}[/tex] خانه برای نوشتن مقسوم علیه نیاز داریم زیرا بزرگترین مقسوم علیه [tex]\frac{|n!|}{2}[/tex] است و به [tex]\frac{|w|}{2}[/tex] خانه برای نوشتن خارج قسمت نیاز داریم زیرا بزرگترین خارج قسمت [tex]\frac{|n!|}{2}[/tex] است
پس تعداد کل خانه های مورد نیاز برابر است با:
[tex]|w| \frac{|w|}{2} \frac{|w|}{2}=2|w|\in\theta(|w|)[/tex]
پس تورینگ طراحی شده برای این زبان یک LBA است.


تبرای انجام تقسیم ها هم مثلا وقتی رشته ورودی aaaaaa و مقسوم علیه aa است هر یه aa ای که در رشته ورودی دیدیم به جایش یک a می گذاریمیا برای تقسیم بر aaa هر بار که aaa دیدیم به جایش a می گذاریم. اگر تعداد a های باقی مانده در انتها کمتر از مقسوم عیه باشد یعنی این تقسیم باقی مانده دارد .