زبان های منظم

درریاضیات ؛علوم کامپیوتر و زبان شناسی یک زبان رسمی(Formal Language) مجموعه رشته هایی ازسمبلها است که ممکن است بوسیله قوانین مشخصی محدودیت برای آنها قایل شده باشد.

زبان‌های منظم(Regular Language) به زیرمجموعه‌ای از زبان‌های صوری گفته‌ می‌شود.اعضای یک زبان منظم با عبارت‌های منظم ساخته‌می‌شوند و توسط ماشین حالت متناهی معین پذیرفته می‌شوند. از زبان‌های منظم در تجزیه کننده‌ها و طراحی زبان‌های برنامه‌نویسی استفاده می‌شود. که به دو دسته DFA و NDFA تقسیم میشود.

یک DFA که نماینده یک زبان منظم است، می‌تواند هم به عنوان پذیرنده، و هم به عنوان تولیدکننده،استفاده شود.یک NFA , مانند DFA به رشته ای از نماد ها برای ورود نیازمند است.برای هر نماد ورودی, NFA به حالتی جدیدی میرود تا بتواند تمام ورودی جدید را استفاده کند.برخلاف NFA ,DFA غیر قطعی است وبرای هر ورودی , حالت بعدی میتواند از چندحالت تشکیل شود , بنابراین حالت بعدی عضوی از مجموعه توانی از وضیعت هاست که در یک زمان در نظر گرفته میشود.

سلسله مراتب خانواده زبانهای صوری

زبانهای منظم درویکی پدیا