a tvasinā šanas kārtība
DESCRIPTION
A tvasinā šanas kārtība. A tvasinājums , sākot no kreisās puses :. A tvasinājums , sākot no labās puses :. A tvasinājums , sākot no kreisās puses:. A tvasinājums , sākot no labās puses:. A tvasinājum a koki. A tvasinājum a koks. A tvasinājum a koks. dod. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/1.jpg)
1
Atvasināšanas kārtība
ABS .1
A
aaAA.3.2
BBbB
.5
.4
aabaaBbaaBaaABABS54321
Atvasinājums, sākot no kreisās puses :
aabaaAbAbABbABS32541
Atvasinājums, sākot no labās puses :
![Page 2: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/2.jpg)
2
|ABbBbAaABS
Atvasinājums, sākot no kreisās puses:
abbbbabbbbBabbBbbBabAbBabBbBaABS
Atvasinājums, sākot no labās puses:
abbbbabbBbbabAbabBbaAaABS
![Page 3: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/3.jpg)
3
Atvasinājuma koki
![Page 4: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/4.jpg)
4
ABS
ABS |aaAA |BbB
S
BA
![Page 5: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/5.jpg)
5
ABS |aaAA |BbB
aaABABS
a a A
S
BA
![Page 6: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/6.jpg)
6
ABS |aaAA |BbB
aaABbaaABABS S
BA
a a A B b
![Page 7: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/7.jpg)
7
ABS |aaAA |BbB
aaBbaaABbaaABABS S
BA
a a A B b
![Page 8: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/8.jpg)
8
ABS |aaAA |BbB
aabaaBbaaABbaaABABS S
BA
a a A B b
Atvasinājuma koks
![Page 9: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/9.jpg)
9
aabaaBbaaABbaaABABS
dod
aabbaa
S
BA
a a A B b
Atvasinājuma koks
ABS |aaAA |BbB
![Page 10: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/10.jpg)
10
Daļēja atvasinājuma koki
ABS
S
BA
Daļējs atvasinājuma koks
ABS |aaAA |BbB
![Page 11: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/11.jpg)
11
aaABABS
S
BA
a a A
Daļējs atvasinājuma koks
![Page 12: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/12.jpg)
12
aaABABS
S
BA
a a A
Daļējs atvasinājuma koks
sentenciālaforma
dodaaAB
![Page 13: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/13.jpg)
13
aabaaBbaaBaaABABS
aabaaAbAbABbABS S
BA
a a A B b
Tāds pats atvasinājuma koks
Dažreiz atvasināšanas kārtība nav būtiskaSākot no kreisās puses:
Sākot no labās puses:
![Page 14: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/14.jpg)
14
Neviennozīmība
![Page 15: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/15.jpg)
15
aEEEEEE |)(|| aaa
E
EE
EE
a
a a
aaaEaaEEaEaEEE*
atvasinājums,sākot no kreisās puses
![Page 16: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/16.jpg)
16
aEEEEEE |)(|| aaa
E
EE
a a
EE a
aaaEaaEEaEEEEEE
Atvasinājums, sākot no kreisās puses
![Page 17: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/17.jpg)
17
aEEEEEE |)(|| aaa
E
EE
a a
EE a
E
EE
EE
a
a a
divi atvasinājuma koki
![Page 18: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/18.jpg)
18
Gramatika aEEEEEE |)(|| ir neviennozīmīga:
E
EE
a a
EE a
E
EE
EE
a
a a
virknei aaa ir divi atvasinājuma koki
![Page 19: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/19.jpg)
19
virknei ir divi atvasinājumi, sākot atvasināt no kreisās puses.
aaa
aaaEaaEEaEEEEEE
aaaEaaEEaEaEEE*
Gramatika aEEEEEE |)(|| ir neviennozīmīga:
![Page 20: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/20.jpg)
20
Definīcija:Bezkonteksta gramatika G ir neviennozīmīga, ja kādai virknei ir divi vai vairāk dažādi atvasinājuma koki.
)(GLw
![Page 21: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/21.jpg)
21
Citiem vārdiem:Bezkonteksta gramatika G ir neviennozīmīga, ja kādai virknei ir divi vai vairākatvasinājumi, sākot atvasināšanu no kreisās puses (vai sākot nolabās puses).
)(GLw
![Page 22: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/22.jpg)
22
Kāpēc jāuztraucas par neviennozīmību?
E
EE
a a
EE a
E
EE
EE
a
a a
aaa
Ņemam 2a
![Page 23: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/23.jpg)
23
E
EE
EE
E
EE
EE
222
2
2 2 2 2
2
![Page 24: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/24.jpg)
24
E
EE
EE
E
EE
EE
6222
2
2 2 2 2
2
8222
4
2 2
2
6
2 2
24
8
![Page 25: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/25.jpg)
25
E
EE
EE
6222
2
2 2
4
2 2
2
6
Pareizais rezultāts:PārbaudīsimWindowskalkulatoru(standard / scientific režīmos) !
![Page 26: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/26.jpg)
26
• Mēs vēlamies izslēgt neviennozīmību.
• Neviennozīmība ir slikta programmēšanas valodās.
![Page 27: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/27.jpg)
27
Vai var “izlabot” neviennozīmīgu gramatiku?aEEEEEE |)(||
Atbilstošā viennozīmīga gramatika:
aFEFFTFTT
TETEE
)(
![Page 28: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/28.jpg)
28
aFEFFTFTT
TETEE
)(
aaaFaaFFaFTaTaTFTTTEE
E
E T
T F
F
a
T
F
a
a
aaa
![Page 29: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/29.jpg)
29
E
E T
T F
F
a
T
F
a
a
aaa
Viennozīmīgs atvasinājuma koks
![Page 30: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/30.jpg)
30
Gramatika G :
aFEFFTFTT
TETEE
)(
ir viennozīmīga:katrai virknei irviens vienīgs atvasinājuma koks
)(GLw
![Page 31: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/31.jpg)
31
“Iedzimtā” neviennozīmība
Dažām bezkonteksta valodāmir tikai neviennozīmīgas gramatikas
Piemērs: }{}{ mmnmnn cbacbaL
||11
aAbAAcSS
||22
bBcBBaSS
21 | SSS
![Page 32: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/32.jpg)
32
virknei nnn cba
ir divi atvasinājuma koki
S
1S
S
2S
1S c 2Sa
![Page 33: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/33.jpg)
33
Sintakses analizētājs
Leksikasanalizētājs
Kompilators
programma mašīnkods
ievads izvads
![Page 34: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/34.jpg)
34
Sintakses analizētājs “zin”programmēšanas valodas gramatiku.
![Page 35: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/35.jpg)
35
Sintakses analizētājsprogramma STMT_LISTSTMT_LIST STMT; STMT_LIST | STMT;STMT EXPR | if_STMT | WHILE_STMT | { STMT_LIST }
EXPR EXPR + EXPR | EXPR - EXPR | IDif_STMT if (EXPR) then STMT | if (EXPR) then STMT else STMTWHILE_STMT while (EXPR) do STMT
![Page 36: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/36.jpg)
36
Sintakses analizētājs atrod katra konkrēta ievada atvasinājumu
10 + 2 * 5
sintakses analizētājs
E E + E | E * E | INT
E E + E E + E * E 10 + E*E 10 + 2 * E 10 + 2 * 5
ievads atvasinājums
![Page 37: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/37.jpg)
37
10
E
2 5
E E + E E + E * E 10 + E*E 10 + 2 * E 10 + 2 * 5
atvasinājumsatvasinājuma koks
E E
E E
+
*
![Page 38: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/38.jpg)
38
Sintakses analīze
![Page 39: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/39.jpg)
39
gramatika
sintakses analizētājs
ievadavirkne atvasinājums
![Page 40: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/40.jpg)
40
Piemērs:
sintakses analizētājs
atvasinājums
SbSaSaSbSSSSievads
?aabb
![Page 41: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/41.jpg)
41
Atrodatvasinājumu
Izsmeļošā meklēšana
||| bSaaSbSSS
1.fāze:
SbSaSaSbSSSS aabb
visi iespējamie atvasinājumi garumā 1
![Page 42: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/42.jpg)
42
SbSaSaSbSSSS aabb
![Page 43: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/43.jpg)
43
2.fāze
aSbSSSS
aabb
SSSSbSaSSSSaSbSSSSSSSSSS
1.fāze
abaSbSabSabaSbSaaSbbaSbSaSSbaSbS
||| bSaaSbSSS
![Page 44: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/44.jpg)
44
2.fāze
SSSSaSbSSSSSSSSSS
aaSbbaSbSaSSbaSbS
3.fāzeaabbaaSbbaSbS
||| bSaaSbSSS
aabb
![Page 45: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/45.jpg)
45
Izsmeļošās analīzes beigu rezultāts
sintakses analizētājs
atvasinājums
SbSaSaSbSSSS
ievadsaabb
aabbaaSbbaSbS
(lejupejoša analīze)
![Page 46: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/46.jpg)
46
Cits piemērs ar to pašu gramatiku:
sintakses analizētājsatvasinājumsievads
?aaba
SbSaSaSbSSSS
![Page 47: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/47.jpg)
47
Laiks 1.fāzei: k
k iespējamie atvasinājumi
Gramatikai ar k likumiem
![Page 48: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/48.jpg)
48
Laiks 2.fāzei : k2
k2 iespējamie atvasinājumi
![Page 49: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/49.jpg)
49
Kopējais virknei w nepieciešamais laiks:
||2 wkkk
Gauži slikti!!!
1.fāze 2.fāze
![Page 50: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/50.jpg)
50
Specializētām gramatikām eksistē ātrāki algoritmi
S-gramatika: axA
simbols netermināļuvirkne
),( aA parādās vienreizPāris
![Page 51: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/51.jpg)
51
S-gramatikas piemērs:
cSbSSSaSS
abccabcSabSSaSS
Katrai virknei ir viens vienīgs atvasinājums
![Page 52: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/52.jpg)
52
Izsmeļošās analīzes gaitā katrā fāzē irviena vienīga iespēja
S-gramatikām:
Kopējais virknes w analīzei nepieciešamais laiks : |w|
Fāzei nepieciešamais laiks: 1
![Page 53: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/53.jpg)
53
Vispārīgi bezkonteksta gramatikām:
Eksistē analīzes algoritms, kas virkni w
analizē laikā |w|3
![Page 54: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/54.jpg)
54
Bezkonteksta gramatiku vienkāršošana
![Page 55: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/55.jpg)
55
bBabbABabBcAaaAAaA
![Page 56: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/56.jpg)
56
Aizvietošanas likums
bBabbABabBcAaaAAaA
abbcAababbAcAaaAAaA
Aizvieto B
Ekvivalentagramatika
![Page 57: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/57.jpg)
57
Vispārīgi:
nyyyB
xBzA
||| 21
Aizvieto B
zxyzxyzxyA n||| 21 ekvivalentagramatika
![Page 58: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/58.jpg)
58
Nederīgas produkcijas
aAAAS
SaSbS
aAaaaaAaAAS
Daži atvasinājumi nekad nebeidzas...
nederīga produkcija
![Page 59: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/59.jpg)
59
bABA
aAAAS
Cita gramatika:
Nav sasniedzama no S
nederīga produkcija
![Page 60: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/60.jpg)
60
Vispārīgi:
ja wxAyS
Tad neterminālis A ir derīgs
Pretējā gadījumā neterminālis Air nederīgs
)(GLw
![Page 61: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/61.jpg)
61
Produkcija ir derīga, ja visitajā ietilpstošie netermināļi ir derīgi.
xA
![Page 62: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/62.jpg)
62
Nederīgo produkciju izmešana
Gramatikas piemērs :
aCbCaaBaA
CAaSS
||
![Page 63: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/63.jpg)
63
Vispirms atrodam visus netermināļus, kas producē termināļu virknes
aCbCaaBaA
CAaSS
|| },{ BA
},,{ SBA
1.posms :
2.posms:
![Page 64: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/64.jpg)
64
Saglabā tikai tos netermināļus , kas producē terminālos simbolus
aCbCaaBaA
CAaSS
||
},,{ SBA
aaBaA
AaSS
|
![Page 65: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/65.jpg)
65
Otrkārt, atrod visus netermināļus, kassasniedzami no S
aaBaA
AaSS
|
S A B
Atkarības grafs
nav sasniedzams
![Page 66: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/66.jpg)
66
Saglabā tikai tos netermināļus, kassasniedzami no S
aaBaA
AaSS
|
aAAaSS
|
Beigu gramatika
![Page 67: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/67.jpg)
67
Anulējami mainīgie
:produkcija A
Anulējams mainīgais: A
![Page 68: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/68.jpg)
68
Anulējamu mainīgo izmešana
Gramatikas piemērs :
MaMbMaMbS
Anulējams mainīgais
![Page 69: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/69.jpg)
69
M
MaMbMaMbS
Aizvieto
abMaMbMabSaMbS
Beigu gramatika
![Page 70: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/70.jpg)
70
Vienības produkcijas
BAVienības produkcija:
![Page 71: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/71.jpg)
71
Vienības produkciju izmešana
Novērojums:
AA
jāizmet uzreiz
![Page 72: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/72.jpg)
72
Gramatikas piemērs:
bbBABBAaAaAS
![Page 73: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/73.jpg)
73
bbBABBAaAaAS
AizvietoBA
bbBBAB
aAaBaAS
|
|
![Page 74: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/74.jpg)
74
Izmet
bbBBAB
aAaBaAS
|
|
bbBABaA
aBaAS
|
BB
![Page 75: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/75.jpg)
75
AizvietoAB
bbBaA
aAaBaAS
||
bbBABaA
aBaAS
|
![Page 76: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/76.jpg)
76
Atkārtotu produkciju izmešana
bbBaA
aBaAS
|
bbBaA
aAaBaAS
||
Beigu gramatika
![Page 77: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/77.jpg)
77
Visas izmešanas
1.solis: Anulējamu mainīgo izmešana
2.solis: Vienības produkciju izmešana
3.solis: Nederīgu mainīgo izmešana
![Page 78: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/78.jpg)
78
PiemērsVienkāršot doto gramatiku:
|
|||
BADBCaCbBBBaAAA
CABS
![Page 79: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/79.jpg)
79
Rezultāts:
bBBbBbBaAAaAaAABABS
|||||||
![Page 80: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/80.jpg)
80
Bezkonteksta gramatiku normālformas
![Page 81: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/81.jpg)
81
Homska normālformaVisas produkcijas ir formā
BCA
neterminālisneterminālis
aAvai
terminālis
![Page 82: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/82.jpg)
82
Piemēri:
bASAAaSASS
Nav Homskanormālforma
aaASAAAASSASS
Homska normālforma
![Page 83: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/83.jpg)
83
Pārveidošana uz Homska normālformu
Piemērs:
AcBaabAABaS
Nav Homskanormālforma
![Page 84: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/84.jpg)
84
AcBaabAABaS
Definē jaunus netermināļus :
cTbTaTATB
TTTAABTS
c
b
a
c
baa
a
cba TTT ,,
![Page 85: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/85.jpg)
85
Definē jaunu netermināli V1:
cTbTaTATB
TTTAABTS
c
b
a
c
baa
a
cTbTaTATB
TTTABTVAVS
c
b
a
c
baa
a
1
1
![Page 86: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/86.jpg)
86
Definē jaunu netermināli V2:
cTbTaTATBTTVVTABTVAVS
c
b
a
c
ba
a
a
2
2
1
1
cTbTaTATB
TTTABTVAVS
c
b
a
c
baa
a
1
1
![Page 87: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/87.jpg)
87
Beigu gramatika Homska normālformā:
cTbTaTATBTTVVTABTVAVS
c
b
a
c
ba
a
a
2
2
1
1
AcBaabAABaS
Sākuma gramatika
![Page 88: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/88.jpg)
88
No katras bezkonteksta gramatikas, kas nav Homska normālformā, var iegūt ekvivalentu gramatiku Homska normālformā.
Vispārīgi:
![Page 89: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/89.jpg)
89
Procedūra
vispirms izmet:
anulējamos netermināļus
vienības produkcijas
![Page 90: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/90.jpg)
90
Katram simbolam : a
Produkcijās aizvieto ar a aT
Pievieno produkciju aTa
Jauns neterminālis: aT
![Page 91: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/91.jpg)
91
Aizvieto katru produkciju nCCCA 21
ar
nnn CCV
VCVVCA
12
221
11
jauni netermināļi: 221 ,,, nVVV
![Page 92: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/92.jpg)
92
Novērojumi
• Homska normālformas ir labasanalizēšanas un teorēmu pierādīšanasprocesos
• Ir ļoti viegli atrast Homska normālformu katrai bezkonteksta gramatikai
![Page 93: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/93.jpg)
93
Uzdevums• Pārveidot Homska normālformā gramatiku:
ZWZZYYY
XYXXXXXS
|1|0|1|0||)(
![Page 94: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/94.jpg)
94
Greibahas normālforma
Visas produkcijas ir formā:
kVVVaA 21
simbols netermināļi
0k
![Page 95: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/95.jpg)
95
Piemēri:
bBbbBaAA
cABS
||
Greibahasnormālforma
aaSabSbS
Nav Greibahasnormālforma
![Page 96: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/96.jpg)
96
aaSabSbS
Pāreja uz Greibahas normālformu:
bTaTaTSSTaTS
b
a
a
bb
Greibahasnormālforma
![Page 97: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/97.jpg)
97
Teorēma:
Katrai bezkonteksta gramatikaeksistē ekvivalenta gramatikaGreibahas normālformā.
![Page 98: A tvasinā šanas kārtība](https://reader036.vdocuments.pub/reader036/viewer/2022062302/56814c93550346895db9a872/html5/thumbnails/98.jpg)
98
Novērojumi
• Greibahas normālformas ir ļoti labas analīzei
• Atrast Greibahas normālformupatvaļīgai bezkonteksta gramatikainav gluži triviāli