تفاوت میان نسخه‌های «زبان صوری»

جز
تصحیح نگارش
جز (اصلاح نگارش)
جز (تصحیح نگارش)
'''زبان صوری''' یا '''زبان فُرمال''' در [[ریاضیات]]، [[منطق]] و دانش [[علوم رایانه]]، به زبانیزبانی‌هایی گفته می‌شود، که با فرمول‌های دقیقِ ریاضیاتی و قابلقابلیت پردازش برای ماشین تعریف شده‌اند، '''زبان‌های فُرمال''' یا '''زبان‌های صوری''' گفته می‌شودشده‌اند.
 
به طور کلی در این رشته‌ها، زبان‌ها به دو دستهٔ فرمال و طبیعی تقسیم‌بندی می‌شوند. زبان‌های فرمال زبان‌هایی هستند که توسط گرامرها تولید می‌شوند یا ماشینی برای ارزیابی آنها وجود دارد.