Formal dillər: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Redaktənin izahı yoxdur |
Redaktənin izahı yoxdur |
||
Sətir 37:
Göründüyü kimi, dillər üzərində konkatenasiya əməliyyatı çoxluqlar üzərində dekart hasil əməliyyatının eynisidir. Ümumiyyətlə, dillər üzərində əməliyyatlar çoxluqlar üzərində əməliyyatlara bənzəyir. Dillər üzərində birləşdirmə, kəsişmə, çıxma və s. əməliyyatlar aparmaq olar.
Dilin iterasiyası dedikdə bu dilin bütün qüvvələrinin birləşməsi başa düşülür.
<math>L^* =\bigcup_{i=0}^\infty L^i </math>
L* dilinə A əlifbasının verilmiş L dilinin Klini qapanması deyilir. Verilmiş əlifbadan istifadə etməklə müxtəlif uzunluqlu sözlər qurmaq olar. Sözün uzunluğu dedikdə bu sözdə iştirak edən simvolların sayı başa düşülür. <math>\vert w \vert =k </math> yazılışı ona göstərir ki, <math> w </math> ilə işarə edilmiş sözün uzunluğu k ədədinə bərabərdir. Fərz edək, V<sup>k</sup> - k uzunluqlu sözlər çoxluğudur, V<sup>*</sup> - həmin dildə mövcud olan bütün sözlər çoxluğudur. Onda yaza bilərik:<math>V^k \subset V^*</math> .
V={a,b} əlifbasına baxaq. Bu simvollardan müxtəlif sözlər düzəltmək olar:a,b,aa,ab,ba,bb,aaa,...
Göstərmək olar ki, hər bir sözə qarşı onun birqiymətli olaraq nömrəsini hesablamaq olar, məsələn, ab sözünün nömrəsini hesablamaq üçün əvvəlcə simvolların özlərini nömrələyirlər: a-1, b-2,...
| |||