شما در حال شروع به مطالعه یک موضوع جالب و مهم در ویرایش سوم کتاب Introduction to the Theory of Computation هستید: نظریه محاسبات. این نظریه، ویژگی‌های اساسی ریاضی سخت افزار کامپیوتر، نرم افزار و کاربرد‌های خاصی از آن را شامل می‌شود. در بررسی این موضوع، ما به دنبال آن هستیم که مشخص کنیم که چه چیزی قابل محاسبه است، با چه سرعتی، با چه مقدار حافظه و با کدام نوع مدل محاسباتی. این موضوع ارتباطات آشکاری با روش مهندسی دارد و مانند بسیاری از علوم، جنبه‌های کاملاً فلسفی نیز دارد.

من می‌دانم که بسیاری از شما مشتاقانه منتظر مطالعه این مطالب هستید اما برخی هم ممکن است انتخابی جز این نداشته باشید. شما ممکن است که بخواهید مدرک علوم کامپیوتر یا مهندسی را کسب کنید و این دوره تئوری نیز لازم است - خدا می‌داند چرا. از این گذشته، آیا تئوری سخت، کسل کننده و از همه مهمتر بی ربط نیست؟

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

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

ویرایش ششم کتاب An Introduction to Formal Languages and Automata پیتر لینز، برای یک دوره مقدماتی در مورد زبان‌های صوری، ماشین‌های خودکار، محاسبه پذیری و موضوعات مرتبط است. همچنین این مباحث بخش عمده ای از آنچه که به عنوان نظریه محاسبات شناخته می‌شود را تشکیل می‌دهند. یک دوره در مورد این موضوع، اکنون در برنامه درسی علوم کامپیوتر استاندارد است و اغلب نسبتاً در اوایل برنامه تدریس می‌شود. از این رو، مخاطبان احتمالی برای این کتاب در درجه اول شامل دانشجویان سال دوم و جوانانی می‌شود که در رشته‌های علوم کامپیوتر یا مهندسی کامپیوتر تحصیل می‌کنند.

مطالعه نظریه محاسبات دارای چندین هدف است که مهمترین آنها (1) برای آشنایی دانشجویان با مبانی و اصول علوم کامپیوتر، (2) برای آموزش مطالب مفید در دوره‌های بعدی و (3) تقویت توانایی دانشجویان برای انجام استدلال‌های ریاضی رسمی و دقیق است.

ویرایش ششم کتاب مقدمه ای بر زبان‌های رسمی و ماشین ها، تمامی مطالب ضروری برای یک دوره تئوری محاسبات مقدماتی را به شکلی دانشجو پسند و راحت ارائه می‌دهد. این کتاب به منظور پرداختن به اصول زبان‌های صوری، ماشین‌های خودکار و محاسبه پذیری و آشنایی دانشجویان با مبانی و اصول علوم رایانه و تقویت توانایی دانشجویان در انجام استدلال‌های رسمی و دقیق ریاضی نوشته شده است.

در این درس با سه موضوع “زبان، گرامر و ماشین” آشنا می‌شوید. این درس پیش نیاز درس طراحی کامپایلر است. با یادگیری زبان‌ها و گرامرها می‌توانید نحوه کار کامپایلر و همچنین طراحی زبان‌های برنامه سازی را متوجه شد. یادگیری این درس بدون مدرس کار ساده ای نمی‌باشد و ما در این آموزش تجربه حداقل پانزده سال تدریس این درس را در اختیار شما گذاشته ایم. به امید اینکه دعای خیری برای ما شود.

در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشین‌ها عبارت است از بررسی ریاضی ماشین‌های محاسبه‌گر انتزاعی و توانایی‌های آنها برای حل مسایل. به این ماشین‌های انتزاعی اتوماتا گفته می‌شود. این نظریه بسیار نزدیک به نظریه زبان‌های فرمال است. به طوری که اتوماتا اغلب توسط دستهٔ زبان‌های رسمی قابل تشخیص دسته بندی می‌شوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن (parsing) ایفا می‌کند. زبان‌هایی که توسط این ماشین‌ها بررسی می‌شوند زبان‌های فرمال هستند.

این جزوه نظریه زبان‌ها و ماشین‌ها تدریس شده توسط استاد مهدی جبل عاملی در دانشگاه آزاد نجف آباد است که توسط یکی از دانشجویان ایشان گرد آوری شده است.

در ریاضیات، منطق و دانش رایانه، به زبانی که با فرمول‌های دقیق ریاضیاتی و قابل پردازش برای ماشین تعریف شداند، زبان‌های فُرمال یا زبان‌های صوری گفته می‌شود.به طور کلی در این رشته‌ها، زبان‌ها به دو دسته فرمال و طبیعی تقسیم بندی می‌شوند . زبان‌های فرمال زبان هایی هستند که توسط گرامرها تولید می‌شوند یا ماشینی برای ارزبابی آنها وجود دارد.

این جزوه دست نویس درس نظریه زبان‌ها و ماشین هاست که با کیفیت بسیار عالی اسکن شده است و کاملا خوانا می‌باشد. مدرس این درس نیز استاد دکتر کارگاهی در موسسه پارسه است.

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

این کتاب با تاکید بر حل مسئله تالیف شده است. این روش معمولا به عنوان بهترین روش شناخته می‌شود؛ اگر چه تنها روش برای فراگیری موضوعات ریاضی در میان تجربه‌های زیاد حل مسئله نیست. با دست و پنجه نرم کردن با مسئله به صورت مستقیم، نه تنها تکنیک‌ها و ابزارهای لازم را برای حل مشکل فرا می‌گیرید؛ بلکه مفاهیم پشت زمینه مسئله را نیز بهتر درک خواهید کرد. نظریه محاسبات، ذاتا مفهومی انتزاعی دارد و رویکرد حل مسئله مفید به نظر می‌رسد.