(۱۲ فروردین ۱۳۹۵ ۰۵:۴۱ ب.ظ)fatemeh69 نوشته شده توسط:  سلام عزیز
برای اثبات منظم بودن ما چند ابزار داریم با استفاده از گرامرها یا عبارات منظم یا اتوماتون ها

بعضی مفاهیم گفتنش با گرامر راحت تره بعضی چیزها با عبارت منظم بعضی ها هم با اتوماتون

حذف حرف پنجم هر رشته رو با اتوماتون راحت تر می شه گفت اونم اینطوریه که هر زیان منظم یه dfa در اون dfa با شروع از حالت شروع نگه می کنیم اگر در تمام مسیرهای به طول پنج از راس شروع حلقه یا طوقه ای وجود داشت ان را چند بار باز می کنیم تا وقتی که یال های اول و دوم و سوم و چهارم و پنجم حتما یال های ساده باشند ان وقت الفبای روی یال پنجم را حذف کرده و بلندا می گذاریم و اتوماتون حاصل یک nfa برای زبان جدید خواهد بود پس زبان جدید نیز منظم است