در ، ، به زیرمجموعه‌ای از گفته می‌شود.
 اعضای یک زبان منظم با ساخته‌می‌شوند و توسط پذیرفته می‌شوند.
از زبان‌های منظم در و طراحی استفاده می‌شود.
 مجموعهٔ زبان‌های منظم روی یک الفبا مثل ، به صورت بازگشتی زیر تعریف می‌شود:
 
 
 هر مجموعه‌ای شامل تعداد متناهی رشته یک زبان منظم است. مجوعهٔ تک‌عضوی شامل رشتهٔ تهی، یک زبان منظم است. به همین‌ترتیب، روی الفبای ، زبانی که شامل تعداد برابر از حروف و باشد، یک زبان منظم است.
 یک زبان منظم نیست. یعنی این زبان، زبان مورد پذیرش برای هیچ ماشین حالت متناهی نیست و نمی‌توان آن را با بیان کرد. برای نشان دادن آن که یک زبان، منظم نیست، از ، استفاده می‌شود.
 یک زبان منظم:
 
 
 
 
 
 
 
 
 
 اگر زبان‌های و ، منظم باشند:
 
 
 
 
 
 ویژگی‌های تصمیمی سؤالهایی است که دربارهٔ یک اتوماتا یا یک زبان می‌توانیم بپرسیم. در زیر نمونه‌ای از آنها را مشاهده می‌کنید.
 آیا رشتهٔ w متعلق به زبان L است؟
 آیا زبان L تهی است؟ برای پاسخ به این سؤال باید به این سؤال جواب داد که آیا مسیری در اتوماتای A که زبان L را می‌پذیرد وجود دارد که ما را از یک حالت آغازین به یک حالت پایانی برساند؟
 آیا در زبان L تعداد محدودی رشته وجود دارد؟ برای پاسخ به سؤال ذکر شده دو راهکار یا لم وجود دارد.
لم1: اگر DFA دارای n حالت باشد و رشته‌ای با طول n یا بیشتر را بپذیرد، آنگاه زبان DFA نامتناهی است.
لم2: اگر رشته‌ای با طول n یا بیشتر در زبان L (که DFAی معادلی با n حالت دارد) وجود داشته باشد، آنگاه رشته‌ای با طول بین n و 2n-1 نیز دارد.
 
 
 An Introduction to Formal Languages and Automata، Peter Linz
 Introduction to the Theory of Computation، Michael Sipser
{"title": "زبان منظم", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D9%86%D8%B8%D9%85&oldid=34972149", "language": "fa"}