جزوه نظریه زبان ها و ماشین ها دکتر حاج سید جوادی

 

جزوه نظریه زبان ها و ماشین ها دکتر حاج سید جوادی

 این جزوه به صورت رنگی و دستنویس بسیار خوانا و مرتب در 113 صفحه تهیه شده که مرجع این جزوه کتاب نظریه زبان نیز می باشد. که این جزوه رو به صورت مستقیم می تونید از سایت ما خرید کنید.

 در این جزوه نظریه زبان و ماشین ها خواهید خواند:

زبان صوری

زبان formal

ماشین قطعی

تعیین و تعریف حروف الفبایی

تعیین رشته

الحاق رشته ها

طول رشته

سیگما

معکوس رشته ها

رشته خود معکوس

تعریف زبان و معکوس زبان

الحاق دو زبان

متمم زبان

مجموعه مرجع

پذرنده متناهی معین-DFA

فرق نگاشت و تابع

دیاگرام انتقال

زبان پذیرفته شده توسط DFA

گرامر منظم

انواع گرامر

زبان تولید شده توسط گرامر

گرامر منظم

اتوماتای متناهی(DFA , NFA)

انواع ماشین

ماشین‌های متناهی

پذیرنده متناهی معین(DFA)

زبان ها و DFA ها

حالت دام (تله)

مکمل DFA

پذیرنده متناهی نامعین( NFA)

هم ارزی DFA و NFA

ارتباط گرامر منظم با ماشین متناهی

کاهش تعداد حالات در ماشین های متناهی

نحوه تشخیص منظم بودن یک زبان

زبان و گرامر مستقل از متن

گرامر مستقل از متن

گرامر ساده

بسته بودن زبان های مستقل از متن

لم تزریق برای زبا‌‌‌‌ن‌های مستقل از متن

لم تزریق برای زبا‌‌‌‌ن‌های خطی

ابهام- ساده سازی گرامر- فرمهای نرمال

ابهام در گرامر و زبان

ساده سازی گرامرهای مستقل از متن

حذف متغیرها و قوانین بی فایده

حذف قوانین

حذف قوانین واحد

فرم های نرمال گرامر مستقل از متن

فرم نرمال چامسکی

فرم نرمال ‌گریباخ

اتوماتای پشته ای (DPDA,NPDA)

اتوماتای پشته ای نامعین

تابع انتقال

پیکر بندی لحظه ای

اتوماتای پشته ای معین

تشخیص مستقل از متن بودن یک زبان

زبان مستقل از متن معین

ساخت اتوماتای پشته ای با استفاده از گرامر در فرم گریباخ

ماشین های تورینگ (TM)

ماشین تورینگ استاندارد

ماشین تورینگ در نقش پذیرنده زبان

ماشین تورینگ به عنوان مترجم

مدل های دیگر ماشین تورینگ

سکون دار

با نوار نیمه نامتناهی

آف لاین

با حافظه پیچیده تر

چند نواره

چند بعدی

نامعین

عمومی

آتاماتای کراندار خطی(LBA)

زبان های بازگشتی-گرامر بدون محدویت و حساس به متن

زبان های بازگشتی و بازگشتی شمارش پذیر

گرامر بدون محدودیت

گرامر حساس به متن

ارتباط بین زبان ها، گرامرها و ماشین ها

سلسله مراتب چامسکی

بررسی بسته بودن زبان ها تحت عملگرها