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

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