TUGASQ

TEORI BAHASA AUTOMATA 
TUGAS 1
FSA
NAMA  : ARDIN
KLS      : T1.15
NIM     : 55 201 08041
 
          DIAGRAM



M = ( Q, ∑, δ, S, F )

Q = { A, B, C, D, E }
∑ = { a, b, c, d, e, f }
S = A
F = { A, C, D }

Tabel Transisi

δ
a
b
c
d
e
f
A
C
B
0
0
0
0
B
E
0
D
E
0
0
C
0
0
D
E
D
E
D
0
0
0
0
0
0
E
0
0
0
0
0
0

 
Inputan yang diterima
- bc, a, ac, ae
  1. δ (A, bc) => δ (B, c) => D (Diterima)
  2. δ (A, a) => C (Diterima)
  3. δ (A, ac) => δ (C, c) => D (Diterima)
  4. δ (A, ae) => δ (C, e) => D (Diterima)

Inputan yang ditolak
- b, ad, af, ba, bd
  1. δ (A, b) => B (Ditolak)
  2. δ (A, ad) => δ (C, d) => E (Ditolak)
  3. δ (A, af) => δ (C, f) => E (Ditolak)
  4. δ (A, ba) => δ (B, a) => E (Ditolak)
  5. δ (A, bd) => δ (B, d) => E (Ditolak)



TEORI BAHASA AUTOMATA 
TUGAS 2
NFA
NAMA  : ARDIN
KLS      : T1.15
NIM     : 55 201 08041








Q = { q0,q1,q2,q3,q4 }
∑ = { a,b,c }
S = q0
F = { q4 }

Tabel Transisi
δ
a
b
c
q0
q1
q2
q3
q4
{q0,q1}
{q1,q4}
{q2}
{q3}
0
{q0,q2}
{q1}
{q2.q4}
{q3}
0
{q0,q3}
{q1}
{q2}
{q3,q4}
0


Inputan yang diterima
1. aabb
    M (q0,aabb) M(q0,abb) M(q1,abb) {M(q0,bb) M(q1,bb)} M(q1,bb)
     {{M(q0,b) M(q2,b)} M(q1,b)} M(q1,b)
     {{{q0,q2} {q2,q4}} {q1}} {q1} = {q0,q1,q2,q4}
2. cbc
    M (q0,cbc) M (q0,bc) M (q3,bc) {M(q0,c) M(q2,c)} M(q3,c)
     {{q0,q3} {q2}} {q3,q4} = {q0,q2,q3,q4}
3. abaa
    M (q0,abaa) M(q0,baa) M(q1,baa) {M(q0,aa) M(q2,aa)} M(q1,aa)
    {{M(q0,a) M(q1,a)} M(q2,a)} {M(q1,a) M(q4,a)}
    {{q0,q1} {q1,q4} {q2}} {q1,q4} = {q0,q1,q2,q4}
4. bbab
    M (q0,babb) M(q0,abb) M(q2,abb) {M(q0,bb) M(q1,bb)} M(q2,bb)
    {{M(q0,b) M(q2,b)} M(q1,b)} {M(q2,b) M(q4,b)}
    {{q0,q2} {q2,q4} {q1}} {q2,q4} = {q0,q1,q2,q4}
5. cabc
    M (q0,cabc) M(q0,abc) M(q3,abc) {M(q0,bc) M(q1,bc)} M(q3,bc)
    {{M(q0,c) M(q2,c)} M(q1,c)} M(q3,c)}          
{{q0,q3} {q2} {q1} {q3,q4}} = {q0,q1,q2,q3,q4}
Inputan yang Tidak diterima
1. abc
M (q0,abc) M(q0,bc) M(q1,bc) {M(q0,c) M(q2,c)} M(q1,c)
{{q0,q3} {q2}} {q1} = {q0,q1,q2,q3}
2. cab
M (q0,cab) M(q0,ab) M(q3,ab) {M(q0,b) M(q1,b)} M(q3,b)
{{q0,q2} {q1}} {q3} = {q0,q1,q2,q3}
3. cba
M (q0,cba) M(q0,ba) M(q3,ba) {M(q0,a) M(q2,a)} M(q3,a)
{{q0,q1} {q2} {q3}} = {q0,q1,q2,q3}
4. bac
M (q0,bac) M(q0,ac) M(q2,ac) {M(q0,c) M(q1,c)} M(q2,c)
{{q0,q3} {q1}} {q2} = {q0,q1,q2,q3}
5. aab
M (q0,aab) M(q0,ab) M(q1,ab) {M(q0,b) M(q1,b)} {M(q1,b) M(q4,b)}
{{q0,q2} {q1}} {q1} = {q0,q1,q2}