2502150925 - Muhammad Tegar Fauzi

Tugas Personal ke-2

Minggu 7

1. Pada diagram deterministic finite automata (DFA) berikut ini :

Q = S0, S1, S2, S3, S4

Σ = 0, 1
S = S0
F = {S2, S3}

a. Gambarkan tabel transisi (next state table)

INPUT
0 1
→ S0 S1 S3
S1 S2 S1
STAT
O S2 S2 S4
E
O S3 S4 S2
S4 S0 S3

b. Buatlah 3 contoh string yang diterima dari DFA tersebut.

Berhenti di S3 yaitu => 1 | 101 | 1001 | 1111 | dst

MATH6184 – Discrete Mathematics and Linear Algebra

 2502150925 - Muhammad Tegar Fauzi

Berhenti di S2 yaitu => 11 | 110* | 00* | 01*0* | dst

2. Desainlah sebuah finite state automata (DFA) sederhana dengan input {a,b} dan
menerima himpunan semua string dengan panjang (jumlah input) paling sedikit dua
dimana dua terakhir simbol mempunyai input yang sama.

Desain DFA

b
S0
a

S2
b
b
a a
b
S1
a
b
S3
a
S4

Q = S0, S1, S2, S3, S4

Σ = a, b
S = S0
F = {S3}

a. Tabel Transisi
INPUT
a b
→ S0 S2 S1
S1 S2 S1
STAT
S2 S3 S0
E
O S3 S4 S1
S4 S1 S0

MATH6184 – Discrete Mathematics and Linear Algebra

 2502150925 - Muhammad Tegar Fauzi

b. String yang diterima => aa | b*aa | abaa | aab*aa | aaaaaa | dst

Berdasarkan hasil string tersebut, DFA yang dibuat sudah memenuhi syarat jumlah input
paling sedikit 2 dan symbol dari dua input terakhir sama yaitu => aa.

MATH6184 – Discrete Mathematics and Linear Algebra