Automata Assignment Gimon, Rival Lumintang, Hizkia Runtuwarow, Maikel Sompotan, Andreas Pojoh, Eliezer 1.

Gambarkan mesin FSA yang menerima L={x(a,b)*|x tidak memiiki substring ab}. Jawab: a,b a,b Q ={q0,q1,q2} ={a,b} S = q0 F = {q1}
q 2 q q

b b

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

huruf,angka,simbol(_) huruf
q

simbol selain (_)

q

huruf, angka, simbol selain (_)

2 Q ={q0,q1,q2} ={huruf,angka,simbol(_),simbol selain(_)} S = q0 F = {q1}

q0 q1 q2

Huru f q1 q1 q2

Angk a q1 q2

_ q1 q2

Selai n (_) q2

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.