نظریه زبان‌ها: تفاوت میان نسخه‌ها

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