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

جز
ربات: حذف فاصله مجازی زائد
جز (ربات افزودن: lt:Formali kalba)
جز (ربات: حذف فاصله مجازی زائد)
در [[ریاضیات]]، [[منطق]] و دانش [[رایانه]]، به زبانی که با فرمول‌های دقیق ریاضیاتی و قابل پردازش برای ماشین تعریف شد‌اند،شداند، '''زبان‌های فُرمال''' یا '''زبان‌های صوری''' گفته می‌شود.
 
به طور کلی در این رشته‌ها، زبان ها به دو دسته فرمال و طبیعی تقسیم بندی می‌شوند . زبان های فرمال زبان هایی هستند که توسط گرامر ها تولید می‌شوند یا ماشینی برای ارزبابی آنها وجود دارد .
۱۶۴٬۵۲۷

ویرایش