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

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

مراجع جزوه نظریه زبان‌ها و ماشین‌های دکتر کارگاهی عبارتند از:

- (An Intorduction to Formal Language and Automata (p.Linz

- Introduction to the Theory of Computation

- Computional Complexity