سلام. این زبان منظمه. کافیه رشته با ۱ یا ۶ شروع بشه و به صفر ختم نشه.

رشته که از صفر ویکه!!!! منظور از اینکه با ۶ شروع بشه، چیه؟

ببخشید حواسم به ۰ یا ۱ نبود. درهرحال منظمه. فرض کردم بیت های پرارزش میتونن ۰ باشن.

[tex]S\to 0S|1B|\lambda[/tex]
[tex]A\to 0C|1S[/tex]
[tex]B\to 0A|1C[/tex]
[tex]C\to 0D|1A[/tex]
[tex]D\to 0B|1D[/tex]

توی این گرامر حالت شروع A هست. اگه قرار باشه رشته معکوس نباشه کافیه فقط رقم رو سمت راست پایانه بنویسید. S تا D بترتیب حالاتین که باقی مونه رشته گرفته شده نسبت به ۵ برابر ۰ تا ۴ باشه. اگه نیازه صفرهای آخر رو نگیره کافیه یه غیرپایانه جدید تعریف کنیم که S با گرفتن ۰ به اون بره. اون هم با صفر به خودش و با ۱ به B بره.