درس نظریه زبان ها و ماشین ها-کارشناسی ارشد یکی از دروس کارشناسی رشته کامپیوتر و فناوری اطلاعات می باشد  که برای ورد به دوره ارشد یکی از دروس مورد سوال است

قبل از ورود به بحث درس نظریه یک سری مباحث اولیه لازم می باشد.از جمله:

مجموعه: گروهی از اشیا و یا عناصر که بدون تکرار و به طور کامل مشخص هستند را مجموعه گویند. که ترتیب انها مهم نیست.اعضای مجموعه در اکولاد قرار می گیرند.

ضرب دکارتی: دو مجموصه  s1  و s2 مجموعه زوج مرتب هایی هستند که مولفه اول انها از مجموعه اول و مولفه دوم انها از مجموعه دوم می باشد.

یک ماشین خودکار قرار است که بر روی تعدادی ورودی از دنباله یا رشته در مراحل زمانی گسسته اجرا شود. در هر مرحله از زمان، ماشین یک ورودی که از مجموعه‌ای از نمادها یا حرف‌ها برداشته شده‌است را، می‌گیرد که به آن الفبا (Alphabet) گفته می‌شود. یک ماشین حاوی مجموعهٔ متناهی از حالت‌هاست. در هر لحظه از اجرا بسته به نوع ماشین، می‌تواند در یکی یا چند تا از حالت‌هایش باشد. در هر مرحلهٔ زمانی، هنگامی که ماشین یک نماد را می‌خواند، بر اساس حالت فعلی و نماد خوانده شده به حالت بعدی پرش یا گذر می‌کند. این تابع روی حالت فعلی و نماد ورودی تابع گذار گفته می‌شود. ماشین تا زمانی که یک ورودی کامل خوانده شود ورودی را نماد به نماد در دنباله‌ای می‌خواند و از حالتی به حالت دیگر بر اساس تابع گذار، گذر می‌کند. زمانی که ورودی نهایی خوانده می‌شود، اصطلاحاً ماشین متوقف شده‌است و به این حالت، حالت نهایی می‌گویند. بر اساس حالت نهایی گفته می‌شود که ماشین یک ورودی را قبول یا رد کرده‌است. زیر مجموعه‌ای از حالت‌های ماشین وجود دارد که به عنوان مجموعهٔ حالت‌های مورد قبول تعریف می‌شود. اگر حالت نهایی یک حالت مورد قبول باشد ماشین ورودی را پذیرفته‌است. در غیر این صورت ورودی رد می‌شود. به مجموعه‌ای از ورودی‌ها که توسط ماشین پذیرفته می‌شود زبان قابل تشخیص ماشین می‌گویند.

این جزوه نظریه زبان ها و ماشین ها-کارشناسی ارشد به صورت دست نویس در 120 صفحه  و بسیار مرتب و تمیز از کلاس دکتر کارگاهی می باشد