یک مقاله در مورد موضوع نام‌برده شده بنویس

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