Finite Automata Tk 4.docx

Tugas Kelompok ke-4 (Minggu 10 ) Finite Automata 1. Berikut soalnya: a. Gambarkan Deterministic Finite State Automata (DFSA) dibawah ini dengan tabel state dan definisi formal b. Berikan masing-masing 3 contoh string yang ditolak dan diterima oleh DFSA tersebut ! c. Tentukan pola bit string yang diterima masing-masing DFSA tersebut.

2. Berikut soalnya: a. Gambarkan diagram transisi dari DFSA yang diberikan dalam tabel berikut b. Berikan masing-masing 3 contoh string yang ditolak dan diterima oleh FA tersebut ! c. Tentukan pola bit string yang diterima masing-masing DFSA tersebut. State

→ 𝑠0 ⊚ 𝑠1 𝑠2

Input 0

1

𝑠2 𝑠1 𝑠1

𝑠1 𝑠1 𝑠2

MATH6077–Discrete Mathematics

3. Desainlah sebuah deterministic finite state automata (DFA) sederhana dengan input {0,1) dan menerima semua string yang berakhir 110.

Jawab : 1.) A. Table state dan definisi formal DFSA 1:

*

S={S0, S1,S2} ∑={0,1} S0=S0 A={S2} d(S0,0) = S0 d(S0,1) = S1 d(S1,0) = S0 d(S1,1) = S2 d(S2,0) = S0 d(S2,1) = S2

MATH6077–Discrete Mathematics

*

*

S={S0, S1,S2,S3} ∑={0,1} S0=S0 A={S1,S3} d(S0,0) = S1 d(S0,1) = S2 d(S1,0) = S2 d(S1,1) = S1 d(S2,0) = S2 d(S2,1) = S3 d(S3,0) = S1 d(S3,1) = S0

B.

DFSA1: Ditolak: {0, 1, 01} Diterima: {11, 111, 1011} DFSA2: Ditolak: {1, 00, 10} Diterima: {0, 01, 11}

C.

Jawab: DFSA1: {11, 011, 101, 111,…} DFSA2: {0, 01, 11, 011, 110,…}

2.)

MATH6077–Discrete Mathematics

A.

B. Diterima = {1, 00, 10} Ditolak = {0, 01, 011} C. Pola bit yang diterima = {1, 00, 10, 000, 001, …} 3.)

MATH6077–Discrete Mathematics