Posted: Sun Feb 07, 2010 5:31 pm Post subject: خواص زبان ها
If L is regular then so is ^L
اگر زبان L منظم است متمم آن نیز(~L) منظم است .
برای بدست آوردن متمم L کافیست dfa آن زبان را به صورت زیر تغییر دهیم
1. Dfa زبان مربوطه را پیدا کنید.
2. تمام حالات پذیرش را به حالات غیرپذیرش تغییردهید.
3. تمام حالات غیرپذیرش را به حالات پذیرش تغییر دهید.
If L is regular then so is LR
اگر زبان L منظم است معکوس آن نیز منظم است.
برای بدست آوردن معکوس L کافیست dfa آن را به صورت زیر تغییر دهیم:
1. Dfa زبان مربوطه را رسم کنید.
2. یک حالت پذیرش جدید بکشید و یک کمان به حالت شروع با برچسب لاندا بکشید.
3. تمامی حالت پذیرش های قبلی را پاک کنید و انتقال لاندا به حالت جدید وصل کنید.
4. تمام انتقال ها را معکوس کنید و حالتی که ایجاد کردیم را حالت شروع در نظر بگیرید.
If L is regular then so is L*
اگر L منظم است بستار L نیز منظم است (L*)
اگر R یک عبارت منظم برای پذیرش L باشد آنگاه R* نیز یک عبارت منظم برای پذیرش L* خواهد بود.
If L and K are regular then so is their union and intersect.
اگر دو زبان L و K منظم باشند آن گاه اجتماع و اشتراکشان نیز منظم است.
اگر R یک عبارت منظم برای L باشد و S یک عبارت منظم برای K باشد آنگاه عبارت منظم R+S نیز برای L U K مناسب است.
طبق قانون دمورگان L اشتراک K برابر است با) ~(~L U ~K
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum
Profile 
Log in to check your private messages | 
FAQ 
Search 
Memberlist 
Usergroups 
Log in
Register
