زبان L شامل رشته هایی متشکل از ارقام ۰و ۱ است که در مبنای ۲ دارای باقی مانده ۰ بر ۴ باشد.(x mod 4 = 0)
می دانیم که با اضافه شدن یک ۰ در سمت راست هر عدد باینری مقدار آن دو برابر شده و با اضافه شدن یک ۱ در سمت راست هر عدد باینری مقدار آن دو برابر شده و با یک واحد جمع می شود.
اعداد به سه دسته زیر تقسیم می شوند:
۱- اعدادی که بر ۴ بخش پذیرند. در این صورت توسط ماشین پذیرفته می شوند.
۲- اعدادی که فقط بر ۲ بخش پذیرند. در نتیجه با اضافه کردن یک ۰ به سمت راست آن به حالت پذیرش می رسیم.
۳- اعدادی که بر ۴ یا ۲ بخش پذیر نیستند، در نتیجه با اضافه کردن دو ۰ به سمت راست آن به حالت پذیرش می رسیم.
در واقع اعدادی که دو رقم انتهایی آنها صفر باشد و همچنین خود عدد صفر توسط این ماشین پذیرفته می شوند.
در صورتی که لاندا مجاز نباشد: