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

هیچ تغییری در اندازه به وجود نیامده‌ است. ،  ۶ سال پیش
Kirjoitusvirhe korjattu
جز (ربات: حذف میان‌ویکی موجود در ویکی‌داده: ۳۸ میان‌ویکی)
(Kirjoitusvirhe korjattu)
برچسب‌ها: ویرایش با تلفن همراه ویرایش با نرم‌افزار تلفن همراه نیازمند بازبینی
در [[ریاضیات]]، [[منطق]] و دانش [[رایانه]]، به زبانی که با فرمول‌های دقیق ریاضیاتی و قابل پردازش برای ماشین تعریف شداند، '''زبان‌های فُرمال''' یا '''زبان‌های صوری''' گفته می‌شود.
 
به طور کلی در این رشته‌ها، زبان‌ها به دو دسته فرمال و طبیعی تقسیم بندی می‌شوند . زبان‌های فرمال زبان هایی هستند که توسط گرامرها تولید می‌شوند یا ماشینی برای ارزبابیارزیابی آنها وجود دارد .
 
== تعاریف پایه ==
کاربر ناشناس