تئوری زبان و ماشین به انواع زبان ها و طبقه بندی آنها می پردازد و بر اساس سلسله مراتب چامسکی، ویژگی های زبانی به کلاس های منظم، بدون بافت، حساس به بافت و بدون محدودیت طبقه بندی می شوند. تعاریف و ویژگی‌های مدل‌های محاسباتی مختلف که نقش مهمی در چندین حوزه کاربردی علوم رایانه ایفا می‌کنند نیز مورد بحث قرار می‌گیرند. زبان مدلی انتزاعی از ویژگی های کلی یک زبان برنامه نویسی است. برای مدل سازی نحوه تولید رشته ها در یک زبان، از دستور زبانی استفاده می شود که انواع مختلفی دارد.
جزوه نظریه زبان ها و ماشینها را می توانید از سایت جزوه دانلود کنید.
به عنوان نمونه ای از گرامر بدون متن، برای بیان نحو یک زبان برنامه نویسی و ساختار یک زبان طبیعی در هوش مصنوعی یا الگوی دیگری به نام عبارات منظم برای بیان الگوهای متن استفاده می شود. در سیستم عامل لینوکس، هر دو نوع ساده در XML Schema استفاده می شود. این دوره همچنین اتومات یا ماشین ها را به عنوان یک مدل ریاضی برای انجام محاسبات تعریف کرده و اجزا و قابلیت های آن را شرح می دهد. نمونه هایی از ماشین های حالت محدود در پردازش کلمه، طراحی کامپایلر و طراحی سخت افزار استفاده می شود. از این رو، نظریه زبان های ماشین با ارائه تعاریف رسمی از محاسبات، مفاهیم مرتبط با سایر حوزه های غیر نظری علوم کامپیوتر را معرفی می کند و از این نظر بهترین نقطه شروع برای مطالعه نظریه محاسبات است.
