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

جز
اصلاح فاصله مجازی + اصلاح نویسه با ویرایشگر خودکار فارسی
جز (ربات: جایگزینی پیوند جادویی شابک با الگو شابک)
جز (اصلاح فاصله مجازی + اصلاح نویسه با ویرایشگر خودکار فارسی)
'''زبان صوری''' یا '''زبان فُرمال''' در [[ریاضیات]]، [[منطق]] و [[علوم رایانه]]، به زبانی‌هایی گفته می‌شود، که با فرمول‌های دقیقِ ریاضیاتی و قابلیت پردازش برای ماشین تعریف شده‌اند.
 
به طوربه‌طور کلی در این رشته‌ها، زبان‌ها به دو دستهٔ فرمال و طبیعی تقسیم‌بندی می‌شوند. زبان‌های فرمال زبان‌هایی هستند که توسط گرامرها تولید می‌شوند یا ماشینی برای ارزیابی آنهاآن‌ها وجود دارد.
 
== تعاریف پایه ==
 
== تعریف ==
یک زبان صوری <math>L \!</math> بررویبر روی یک الفبای <math>\Sigma \!</math> عبارت است از یک زیرمجموعه از <math>\Sigma^{*} \!</math>
 
== جستارهای وابسته ==
۱۳۳٬۲۴۲

ویرایش