1. Gambarkan mesin FSA yang menerima L={x(a,b)*|x tidak memiiki substring ab}.

Jawab: Q ={q0,q1,q2} ={a,b} S = q0 F = {q1}

q2

a,b a,b
q0 q1b

a,b 2. FSA untuk menguji validitas nama variabel pada bahasa pemrograman. Jawab:
q0

huruf,angka,simbol(_) huruf
q1

simbol selain (_)

q2

huruf, angka, simbol selain (_) q0 q1 q2 Huruf q1 q1 q2 Angka q1 q2 _ q1 q2 Selain (_) q2

Q ={q0,q1,q2}

={huruf,angka,simbol(_),simbol selain(_)} S = q0 F = {q1} Misalkan jika kita memasukkan input variabel 3s.o , 3so , so3 , so3_2. Maka : 3s.o = (q0,3so.)= (q2,so.)= (q2,o.)= (q2, .) = q2 3so = (q0,3so)= (q2,so)= (q2,o)=q2

variabel ini tidak valid karena state tidak mencapai state akhir yang berada di q1. so3 = (q0,so3) = (q1,so3) = (q1,o3) = (q1,3) = q1 so3_2 = (q0,so3_2) = (q1,o3_2) = (q1,3_2) = (q1, _2) = (q1, 2) = q1

variabel ini menjadi valid karena state mencapai state akhir yang berada di q1.