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

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

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

جزوه به صورت دست نویس است و با کیفیت بالایی اسکن شده است.