حل تمرین نظریه محاسبات/فصل اول/حل تمرین۱-۴۳
(تغییرمسیر از حل تمرین نظریه محاسبات/فصل اول/حل تمرین1-43)
حل تمرین۱-۴۳ ( این مسئله در کلاس توضیح داده شده است . می توانید پس از مطالعه از لینک زیر حل آن را به صورت فارسی و با توضیحات اضافه تر( یعنی i و j و دلیل ارتباط آنها ) که معلوم کند حل را به طور کامل متوجه شده اید در این سایت بنوسیسد . متشکرم . http://www.cs.rice.edu/~nakhleh/COMP481/hw4.pdf http://www.cs.rice.edu/~nakhleh/COMP481/sol4.pdf
)
تمرین
ویرایشاگر A یک زبان باشد، A مجموعه رشته هایی از A می باشد که یک سوم میانی آنها حذف شده باشد و به صورت زیر تعریف می شود:
A ={xz|xyz Є A , |x|=|y|=|z| موجود باشد بطوریکه yرشته}
نشان دهید که اگر A منظم باشد، A الزاما منظم نیست.
حل
ویرایشاین سوال ستاره دار بوده و حل آن دشوار می باشد. با جستجو در اینترنت به جواب زیر می رسید: