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: 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 (_)

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

q0 q1 q2

Huruf q1 q1 q2

Angka q1 q2

_ q1 q2

Selain (_) q2

Misalkan jika kita memasukkan input variabel 3s.o , 3so , so3 , so3_2. Maka : - 3s.o = - 3so = 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.