Formal dillər: Redaktələr arasındakı fərq
Silinən məzmun Əlavə edilmiş məzmun
Redaktənin izahı yoxdur |
k tənzimləmə |
||
Sətir 15:
# Kommutativliyin doğru olmaması: <math>x \circ y \neq y \circ x</math>. Misal1.x=ab,y=ba sözləri verilmişsə,onda <math>x \circ y = abba </math> , <math>y \circ x = baab</math> olar , yəni <math>xy \neq yx</math> .
# Assosiativlik:<math>(x \circ y) \circ z = x \circ (y \circ z)</math>. Misal2.x=ab,y=ba,z=aa sözləri verilmişsə,onda <math>(x \circ y) \circ z = abbaaa </math> , <math>x \circ (y \circ z)= abbaa</math> olar , yəni <math>(x\circ y) \circ z = x \circ (y \circ z)</math>.
Fərz edək, ixtiyari <math>x = \alpha \circ \beta \circ \gamma </math> sözü verilmişdir,burada α,β,γ konstruksiyaları A*-a daxil olan hər hansı sözlərdir.Onda α-prefiks,β-alt söz,γ-sufiks adlanır.
Tərif. A əlifbası üzərində qurulmuş L(A) formal dili dedikdə A* universal çoxluğunun ixtiyari alt çoxluğu başa düşülür: L(A)∈ A*.
Sətir 21:
Misal3.B={0,1} əlifbası üzərində L dili olaraq 0-dan 7-yə qədər ədədlərin kodunu qeyd etmək olar:
L(B)={0,1,01,10,11,100,101,110,111}, deməli L(B) dili 0-dan 7-yə qədər ədədlərin dilidir.
'''Formal dillər üzərində əməliyyatlar '''. İxtiyari L<sub>1</sub> və L<sub>2</sub> dillərinin konkatenasiyası aşağıdakı kimi başa düşülür:
Sətir 46:
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,...
"ab" sözünün nömrəsi: <math>1\cdot 2^1+ 2\cdot 2^0=4</math> .
Sətir 88:
#
#Dilin qurulması qaydası üçün formal qrammatika verilir.
#
Formal dilin sözlərini yaradan zaman rabitə vasitələrindən istifadə olunur. Fərz edək ki, söz qurmaq üçün rabitə vasitələri aşağıdakılardır:
Sətir 118:
=== Məntiqi-riyazi formal dillər===
İlk formal dil çoxluqlar nəzəriyyəsində və riyazi məntiqdə ifadə olunmuşdur. Bu elm sahələri aksiomlar üzərində qurulur və teoremləri formal isbat etməyə imkan verir. Məsələn, riyazi məntiqdən <math>\neq(A \land B) \equiv \neg A \lor \neg B</math> düsturunu aşağıdakı kimi formal isbat etmək olar.Bunun üçün bərabərliyin sağ və sol tərəfləri üçün həqiqilik cədvəlini quraq. Sonuncu swtunların cavabları eynidir, bu da eyniliyi isbat edir.
{| class="wikitable"
Sətir 162:
# Term və düsturların qurulması qaydaları
# Term və düsturların interpretasiyası qaydaları(dlin semantikası)
# Term və düsturlardan yeni term və düsturların qurulması qaydaları
Hər bir formal dildə bu qaydalara ciddi riayət etmək tələb olunur və bunlardan hər hansı birinin modifikasiyası formal dilin yeni versiyasının(dialektinin) qurulması ilə nəticələnir.
| |||