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 طبقه بندی چامسکی |