متن زیر چه موضوعی را مورد بحث قرار داده است؟

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