زبانهای منظم
از ویکیپدیا، دانشنامهٔ آزاد.
زبانهای منظم[نیازمند منبع] زیرمجموعه ای از زبان های فرمال هستند .
- زبان های منظم توسط ماشین با حالات متناهی ( قطعی یا غیر قطعی ) پذیرفته می شود.
- زبان های منظم توسط دستور زبانهای منظم ساخته می شود.
- زبان های منظم توسط عبارت های منظم شرح داده می شود.
- زبان های منظم توسط ماشین تورینگ فقط خواندنی پذیرفته می شود.
زبان های منظم :
زبان بدون رشته Ø ، زبان منظم است .
زبان حاوی رشته تهی ، { λ } ، زبان منظم است .
برای هر a ∈ Σ ، زبان { a } منظم است .
اگر A و B دو زبان منظم باشند ، آنگاه اجتماع دو زبان ( ∪ ) ، الحاق دو زبان ( • ) و ستاره کلین (Kleene) روی زبان ( * ) نیز منظم است .
[ویرایش] منابع
An Introduction to Formal Languages and Automata, Peter Linz