Dönem Ödevi - Fahri Dönmez

Ad Soyad
Şube No
Öğrenci No
Bölüm
: Fahri Dönmez
: TBIL-302-01
: 12213251
: Bilgisayar Mühendisliği
Biçimsel Diller ve Özdevinirler Kuramı
Prof. Dr. Ünal YARIMAĞAN
Dönem Ödevi
Mayıs 2014
1.1.
L1= (0+1) * 0(10) * 1(01+1)
1.2
0
1
S0 S0 S1
S1 S2 S3
S2 S0 S4
S3 S5 S3
S4 S2 S3
S5 S0 S4
1.3. Denk durum yoktur.
2.1.
2.2.
3.1.
L3= { (aa)n (cc)m bk c bk | n>= 1, m >= 0, k >= 1 }
3.2.
G3 = < VN, VT, P, S >
VN = { S, A, B, C, D, E, X1, X2, X3, X4 }
VT = { a, b, c }
P:
S => AX1| AX2
A => a
B => b
C => c
D => BX3|CX4
E => BX3|c
X1 => AS
X2 => AD
X3 => EB
X4 => CD
P0 = (ABCDEFGH)
P1 = (CDEGH)(ABF) =>
CEDGH
0
ABF
1
GEFEE
0
CHADG
1
AFB
FCC
P2 = (CDGH)(E)(A)(BF) =>
CDGH
BF
0
1
GEEE
0
CHDG
P3 = (A)(BF)(C)(DGH)(E)
FB
CC
=>
BF
FB
1
DGH
CC
EEE
HDG
DGH için S3
E için S4
P4 = (A)(BF)(C)(DGH)(E)
P3 = P4
P = (A)(BF)(C)(DGH)(E)
A için S0
BF için S1
C için S2
SD,z
ŞD x=0
x=1
S0
S0,1
S1,0
S1
S1,1
S2,0
S2
S3,0
S2,1
S3
S4,0
S3,1
S4
S1,0
S0,1