MATAKULIAH
TEORI
BAHASADANAUTOMATA
NIM : 2302020005
PRODI:INFORMATIKA
DOSEN:DavitIrawan M.Kom
TeoriBahasadanAutomata Teori
Bahasa
Automata
Automataadalahmesinabstrakyangdapatmengenali,menerima atau
membangkitkan sebuah kalimat dalam bahasa tertentu .
Automataberkaitaneratdenganteoribahasaformal.Selainitujuga ada
beberapa hal yang berkaitan denganOtomata , yaituGrammar .
Grammar adalah bentuk abstrak yang dapat diterima untuk
membangkitkan suatu kalimat otomata berdasarkan suatu aturan
tertentu.
KonsepBahasa dan Automata
Adabeberapakonsep-konsepbahasayangadadidalamTeori Automata ,
yaitu :
• Anggotaalfabetdinamakansimbolterminal
• Kalimatadalahderetanhinggasimbol-simbolterminal
• BahasaadalahhimpunanKalimat - Kalimat.
• Stringadalahsuatuderetanberhinggadarisimbol -simbol,contoh:
'a','b','c' adalah simbol dan 'abc' adalah sebuah string.
• Simbol -Simbol terminal . Seperti : Huruf kecil (a,b,c) , Simbol
Operator(+dan*),Simboltandabaca(,dan;)danStringyang
bercetak tebal . Contohnya adalah if , then dan else.
• Simbol -simbolnonterminal/Variabel.Seperti:Hurufbesar(A, B, C) ,
huruf S sebagai simbol awal , String yang tercetak miring (expr)
• Huruf yunani melambangkan string yang tersusun atas simbol -
simbolterminalatausimbol-simbolnonterminalataucampuran
keduanya , misalnya pada gambar di bawah ini :
• Sentensialadalahstringyangtersusunatassimbol-simbolterminal
atau simbol-simbol non terminal atau campuran keduanya.
• Derivasiadalahprosespembentukansebuahkalimatatau
sentensial.
Sifat -Sifat Automata
Berikutadalahsifat -sifatdariAutomata:
• Kelakuanmesinbergantungpadarangkaianmasukanyangditerima
mesintersebut.
• Setiapsaat,mesindapatberadapadasuatustatus tertentudan
dapatberpindahkestatusbarukarenaadanyaperubahaninput.
• Rangkaian input (diskrit) pada mesin automata dapat dianggap
sebagai bahasa yang harus "dikenali" oleh sebuah otomata . setelah
pembacaaninputselesai,mesinautomatakemudianmembuatsuatu
"keputusan".
Jenis -Jenis Automata
Jenis-jenisAutomataadalahsebagaiberikut:
• Otomataberhinggadeterministik(DFA-DeterministicFinite
Automata)
• Otomataberhingganon-deterministik(NFA-Nondeterministic
Finite Automata)
• OtomataPushdown
• OtomataTerbatasLinear.•MesinTuring.
BeberapaPengertianDasar:
• Simboladalahsebuahentitasabstrak(sepertihalnyapengertiantitik
dalam geometri). Sebuah huruf atau sebuah angka adalah contoh
simbol.
• String adalah deretan terbatas (finite) simbol-simbol. Sebagai
contoh,jikaa,b,dancadalahtigabuahsimbolmakaabcbadalah
sebuah string yang dibangun dari ketiga simbol tersebut.
• Jika wadalah sebuah string maka panjang string dinyatakan sebagai
(w( dan didefinisikan sebagai cacahan (banyaknya) simbol yang
menyusunstringtersebut.Sebagaicontoh,jikaw=abcbmaka(w(=4.
• Stringhampaadalahsebuahstringdengannolbuahsimbol.String
hampa dinyatakan dengan simbol ( (atau ^) sehingga (((= 0. String
hampa dapat dipandang sebagai simbol hampa karena keduanya
tersusun dari nol buah simbol.
• Alfabetadalahhinpunanhingga(finiteset)simbol-simbol
OperasiDasarString
Diberikanduastring :x=abc,dany=123
• Prefikstringwadalahstringyangdihasilkandaristringw dengan
menghilangkan
nolataulebihsimbol-simbolpalingbelakangdaristringw tersebut.
Contoh: abc, ab, a, danεadalahsemuaPrefix(x)
• ProperPrefix string w adalah string yang dihasilkan dari string w
denganmenghilangkansatuataulebihsimbol-simbolpalingbelakang
dari string w
tersebut.
Contoh:ab, a,danεadalahsemuaProperPrefix(x)
Postfix(atauSufix)stringwadalahstringyangdihasilkandaristringw dengan
menghilangkannolataulebihsimbol-simbolpalingdepandaristring w
tersebut.
Contoh:abc, bc,c,danεadalahsemuapositif(x)
FINITESTATEAUTOMATA(FSA)
FSA merupakan mesin auto mata dari Bahasa regular. FSA memiliki
state yang banyaknya berhingga daan dapat berpindah-pindahdari
satustatekestateyanglain.Perpindahanstatedinyatakandengan
transisi.FSA dapat menerima input dan menghasilkan output.
Lingkaranmenyatakanstateataukedudukan.
- lingkarangandamenyatakanstateakhir(finalstate)
-labelpadalingkaranadalahnamastate tersebut
-busurmenyatakantransisi/perpindahanstate
-labelpadabusuradalahsymbolinput
Lingkarandidaahuluiolehsebuahbusurtanpalebelmenyatakanstate awal
-simbolinput{0,1} -stateawalEven -stateakhirOdd
DeterministicFinite Automata(DFA)
DeterministicFiniteAutomata(DFA) adalahsuaturepresentasiFinite
Automata dimana sistemnya hanya dapat berada pada suatu state
tunggal setelah diberikan rangkain input.
MesinDFA
Penjelasan:
(q0,a,b)=q1,q1,(q1,a,b)=q1,q0berakhirpadastateataukedudukan di q0
= Maka input di tolak oleh mesin