در علوم نظری رایانه، زبان های منظم، به زیرمجموعه ای از زبان های صوری گفته می شود.
زبان بدون رشته، ∅ {\displaystyle \emptyset } ، یک زبان منظم است.
برای هر عضو الفبا، a ∈ Σ {\displaystyle a\in \Sigma } ، مجموعهٔ تک عضوی { a } {\displaystyle \{a\}} ، یک زبان منظم است.
اگر مجموعه های A {\displaystyle A} و B {\displaystyle B} دو زبان منظم باشند، آنگاه اجتماع آن ها ( A ∪ B ) {\displaystyle (A\cup B)} ، الحاق آن ها ( A ∩ B ) {\displaystyle (A\cap B)} وستاره کلین ( A ∗ {\displaystyle A^{*}} ) زبان های منظم هستند.
اعضای یک زبان منظم با عبارت های منظم ساخته می شوند و توسط ماشین حالت متناهی معین پذیرفته می شوند.از زبان های منظم در تجزیه کننده ها و طراحی زبان های برنامه نویسی استفاده می شود.
مجموعهٔ زبان های منظم روی یک الفبا مثل Σ {\displaystyle \Sigma } ، به صورت بازگشتی زیر تعریف می شود:
هر مجموعه ای شامل تعداد متناهی رشته یک زبان منظم است. مجوعهٔ تک عضوی شامل رشتهٔ تهی، { ϵ } {\displaystyle \{\epsilon \}} یک زبان منظم است. به همین ترتیب، روی الفبای { a , b } ∗ {\displaystyle \{a,b\}^{*}} ، زبانی که شامل تعداد برابر از حروف a {\displaystyle a} و b {\displaystyle b} باشد، یک زبان منظم است.
زبان بدون رشته، ∅ {\displaystyle \emptyset } ، یک زبان منظم است.
برای هر عضو الفبا، a ∈ Σ {\displaystyle a\in \Sigma } ، مجموعهٔ تک عضوی { a } {\displaystyle \{a\}} ، یک زبان منظم است.
اگر مجموعه های A {\displaystyle A} و B {\displaystyle B} دو زبان منظم باشند، آنگاه اجتماع آن ها ( A ∪ B ) {\displaystyle (A\cup B)} ، الحاق آن ها ( A ∩ B ) {\displaystyle (A\cap B)} وستاره کلین ( A ∗ {\displaystyle A^{*}} ) زبان های منظم هستند.
اعضای یک زبان منظم با عبارت های منظم ساخته می شوند و توسط ماشین حالت متناهی معین پذیرفته می شوند.از زبان های منظم در تجزیه کننده ها و طراحی زبان های برنامه نویسی استفاده می شود.
مجموعهٔ زبان های منظم روی یک الفبا مثل Σ {\displaystyle \Sigma } ، به صورت بازگشتی زیر تعریف می شود:
هر مجموعه ای شامل تعداد متناهی رشته یک زبان منظم است. مجوعهٔ تک عضوی شامل رشتهٔ تهی، { ϵ } {\displaystyle \{\epsilon \}} یک زبان منظم است. به همین ترتیب، روی الفبای { a , b } ∗ {\displaystyle \{a,b\}^{*}} ، زبانی که شامل تعداد برابر از حروف a {\displaystyle a} و b {\displaystyle b} باشد، یک زبان منظم است.
wiki: زبان منظم