Nama : Popy Anisa

NPM : 207006018

Kelas : A

UTS TBO !

Jawaban :

1. A = {1, 2, 3} dan B = {1, 2, 3, 4, 5}, lalu A  C dan C  B C

Harus mengandung semua elemen A = {1, 7, 8} dan sekurangkurangnya satu elemen dari B.
Dengan demikian, C = {1, 2, 7, 8}, C = {1, 3, 7, 8}, C = {1, 4, 7, 8}, C = {1, 5, 7, 8}, C = {1, 6, 7, 8},
C tidak boleh memuat 2, 3, 4, 5, 6 sekaligus karena C adalah proper subset dari B.
Jika A  B dan B  C maka A  C

C
B
A

2. Fungsi bijektif karena nilai f semuanya berbeda dan pasangan yang berbeda. Dimana dikatakan
fungsi bijektif karena termasuk fungsi injektif dan surjektif.

3. A. Q = {q0, q1, q2, q3, q4, q5, q6, q7}

∑ = {a, b, c, d, e, f, g}
S = {q0}
F = {q2, q4, q6, q7}
B. Buat Fungsi transisi
δ (q0, a) = {q1}
δ (q1, b) = {q2}
 δ (q1, c) = {q3}
δ (q3, d) = {q4}
δ (q3, e) = {q5}
δ (q5, f) = {q6}
δ (q5, g) = {q7}

C. Buat Tabel transisi

δ a b c d e f g
q0 {q1} Ø Ø Ø Ø Ø Ø
q1 Ø {q2} {q3} Ø Ø Ø Ø
q2 Ø Ø Ø Ø Ø Ø Ø
q3 Ø Ø Ø {q4} {q5} Ø Ø
q4 Ø Ø Ø Ø Ø Ø Ø
q5 Ø Ø Ø Ø Ø {q6} {q7}
q6 Ø Ø Ø Ø Ø Ø Ø
q7 Ø Ø Ø Ø Ø Ø Ø

D. Bahasa apa yang diterima oleh mesin tersebut

- ab
- ace
- acdf
- acdg

E. Jelaskan termasuk jenis FSA apakah mesin tersebut!

Mesin FSA tersebut adalah mesin adalah mesin NFA atau Non-Deterministic Finite Automata.
Berdasarkan pada kemampuan berubah statenya, dari suatu state bisa terdapat 0,1 atau lebih
busur keluar (transisi) berlabel input yang sama. Secara formal dinyatakan oleh pasangan 5 tupel

4. 1) A → ab = legal, RG
2) B → Abb = legal, CFG
 3) AB → fG = legal, RG
4) A → efgH = legal, RG
5) He → maN = legal, CSG
6) B → aD = legal, CSG
7) A → BcD = legal, CSG
8) ABc → De = legal, CFG
9) A → Bc = legal, CSG
10) a → Bc = Ilegal, karena ruas kiri harus memuat simbol yang dapat diturunkan

5. S → aS | bA
A → d | ccA
Derivasi kalimat pendek :
S → bA
→ bd

Derivasi kalimat panjang

S → aS
→ aaS
→…….
→ aaaS

S → bA
→ bccA
→ bccccA
→......
→ benA
→ b end

S → aS
→....
→ anS
 →anbA
→anbccA
....
→anb(cc) )mA (4)
→anb(cc )md (3)
Kesimpulannya : L1(x) = { anb(cc)md | n.m >= 0}