سیستم همکاری در فروش سپیده

n       ضرورت اين درس

n       ضرورت نياز به زبانهای سطح بالا

n       ضرورت ترجمه برنامه های نوشته شده با زبان سطح بالا به برنامه به زبان ماشين

n       تنوع زبانهای برنامه نويسی سطح بالا

فهرست مطالب

n        مفاهیم نمادگذاری و مفهوم تابع

n        نظریه مجموعه ها

n        مفهوم استقراء ریاضی

n        گراف و انواع آن

n        مفاهیم رشته و زبان

n        مشخصات زبان ها

n        مجموعه های با قاعده 

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

n        اشتقاق و درخت آن

n        گرامرهای قاعده

n        اشتقاق چپ و ابهام

n        گراف یک گرامر

n        پارسر ها 

n        فرم های نرمال

n        حذف قوانین لامبدا

n        حذف قوانین زنجیره ای

n       فرم نرمال شومسکی وگریباش 

n        آتاماتای قطعی

n        دیاگرام حالت

n       آتاماتای غیر قطع 

n        آتاماتای متناهی و مجموعه های با قاعده

n        گراف عبارت

n       زبان  بی قاعده

n        آتاماتای Pushdown

n        انواع PDA

n       آتاماتای دو پشته ای

n       بهینه سازی DFA

n        ماشین تورینگ

n        انواع پذیرش

n       ماشین های چند شیاره

n       ماشین های تورینگ غیر قطعی

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

n        گرامرهای وابسته به متن

n       آتاماتای خطی محدود

n       طبقه بندی چامسکی