Teori
Bahasa
danOtomata
Bahasa adalah struktur yang dikendalikan sekumpulan aturan tertentu, semacam mesin untuk memproduksi makna. Akan tetapi seperti setiap mesin hanya terdapat terdapat kemungkina kemungkinan n terbatas terbatas bagi setiap orang dalam menggunakann menggunakannya. ya. Dalam bahasa disediakan pembendaharaan kata atau tanda (vocabulary), serta perangkat aturan bahasa (grammar, sintaks) yang harus dipatuh ijika hendak menghasilkan sebuah ekspresi yang bermakna. roses
!emampuan
emahaman
Bahasa
"ipotesis #oam $homsky menggugat postulat %ohn &ocke (took hempirisme) yang menyatakan menyatakan segala pengetahuan pengetahuan yang dimiliki manusia berasal dari rangsangan'rangsangan luar (pengalaman) yang ditangkap oleh indera'indera manusi manusia, a, sehing sehingga ga meniad meniadaka akan n penget pengetahu ahuan an apriori apriori (penge (pengetah tahuan uan yang yang langsung tertanam di manusia) #oam $homsky menyandarkan pada pemahaman bahasa sebagai sesuatu yang bersiat khas dan baaan (tertanam) pada manusia sejak lahir. *ecara khusus $homsky dipengaruhi Descartes tentang bahasa dan pikiran yang terikat begitu erat sehingga pengetahuan tentang bahasa bias membuka pengetahuan tentang pikiran manusia. *ecara mendasar bahasa adalah bagian bagian psikologi psikologi manusia yang dipahami dipahami sebagai teori tentang kemampuan pikiran manusia berupa ungkapan dari subjek psikologi. $homsk $homsky y dan para para ahli ahli bahasa bahasa telah telah mengam mengamati ati anak anak kecil kecil mampu mampu menjadilancarberbahasalebihcepatdanmudahdibanding +algoritmabelajarberbahasa+. *ehingga para ahli bahasa membuat hipotesis otak berisi memuatsuatu +mesin bahasa umum+.!emudian selama masa aal pertumbuhan anak, terjadi pertemuan dengan bahasa sehari'hari yang mengubah mesin bahasa umum menjad menjadii mesin mesin bahasa bahasa partiku partikular lar (terte (tertentu ntu)) kebahas kebahasaa spesi spesiik. ik.
Teori
Bahasa
Teori ori Baha Bahasa sa adal adalah ah kons konsep ep'k 'kon onse sep p pada pada +str +strin ing g alpa alpabe bett -+ dala dalam m penyambungan karakter'karakter alphabet untuk membentuk suatu makna
(bahasa). ' Alpabet Adalah himpunan simbol (karakter) tak kosong yang berhingga.Alpabet digunakan untuk membentuk kata'kata (string'string) di bahasa. Bahasa dimulai dengan alpabet. ada beberapa buku, alphabet dilambangkan dengan /stilah huru, karakter dan simbol adalah sinonim menunjukkan elemen alpabet. %ik symbol berbaris bersebelahan, maka diperoleh +string simbol+./stilah kalimat, kata dan string adalah sinonim $ontoh 1a,b2
'3"impunan
yang
' enyambungan
terdiridarisimbol
+a+
($oncatenation
0 +b+.
dan
'
o)
enyambungan dilakukan pada 4 karakter atau lebih membentuk 5 barisan karakter (string simbol). $ontoh 6a6 6ab6
o o
6b6 6baab6
0 6ab6 6abbaab6
7 7
' *tring pada alpabet !arakter atau barisan karakter pada alpabet - dibentuk dari penyambungan karakter pada alpabet -. *tring pada alpabet - adalah deretan (sekeun) symbol dari - dimana perulangan symbol diijinkan. $ontoh *tring
padaalpabet
-
7 antara
lain
'3
0 1a,b,c,d2 6a6,6abcd6,6bbba6
emangkatan enyambungandapatdianggapsebagaiperkaliankarenabiasanyapenulisannyaadal ahbila 8 dan y string, maka 8 o y adalah8y. sehinggapemangkatandapatdigunakan -o7 -o-o-o-o-o-
-7 7
7 -4 ''''3anjang string -4o-7-9 '3anjang string #: ''''3anjang string
7 7 7
4 9 :
-o-o-o...o-7-n '''3anjang
string
7
n
-k 7 -o-o-o...oadalahhimpunan string denganpanjang k, masing'masingsimboladalahalpabet -; 7 1<2 = -> (!leene closure) adalah string pada -, termasuk string kosongdimana < string kosong (string tanpasimbol) < mempunyaisiatidentitas, yaitu0 < o 8 7 8 8 o < 7 8 -> 7 -5 = -4 = adalahhimpunan string pada
-9 = ... (ositive closure) -, tidakada string kosongdidalamnya.
-? 7 1<2 adalahhimpunan yang isinyahanya string kosong, dimana *tring kosong < tidaksamadenganhimpunankosong
@aka
6bbba6
dapatditulis
6b9a6
anjang *tring anjang string dilambangkan dimanapanjang string adalahjumlahsimbol di dalam string bukanpadaalpabetdanpengulangankemunculansimboldihitung. $ontoh0 < a aa aaa aaab
7 7 7 7 7
? 5 4 9 :
Otomata Otomataadalahmesinabstrak yang menggunakan model matematika, tetapimatematika yang digunakanbenar' benarberbedadibandingmatematikaklasikdankalkulus. @odel yang digunakanadalah model mesin state (state machine model) atau model trnasisi
state Terdapat ' ' '
(state 9
transition model inite ushdon Turing
model).
komputasipadateoriotomata. automata automata @avhine
@emoriOtomata Otomatadibedakanberdasarkanjenismemorisementara yang dimilikinya, yaitu0 ' inite automata Tidakmemilikimemorisementara. inite adalahkelasmesindengankemampuan'kemampuan
paling
(A) automata terbatas.
' ushdon automata (DA) @emilikimemorisementaradenganmekanisme &/O (&ast /n, irst Out). @esininilebihampuhkarenabantuankeberadaan stack yang dipandangsebagai unit memori ' Turing @achine (T@) @emilikimemoridenganmekanismepengaksesanacak (Candom aksesmemori). Turing @achine merupakan model matematika untuk computer saat ini.
*ejarah
Otomata
dan
Teori
Bahasa
Otomata bermula sebelum computer ada pada teori di bidang system logika matematika atau ormal, ilmuan David "ilbert telah mencoba menciptakan algoritma umum untuk pembuktian (seluruh) persoalan matematika secara otomatis yaitu mampu menentukan salah benar nya sembarang prosisi matematika. Tahun 595, !urt E�delmempublikasikanteoriketidaklengkapandimanamembuktikanprosedural goritma yang dikehendaki David "ilbert tersebuttidakakanpernahada. E�delmembangunrumus di kalkuluspredikat yang diterapkanpadabilanganbulat yang memilikipernyataan'pernyataandeinisi yang tidakdapatdibuktikanmaupundibantah di dalamsistemlogika yang mungkindibangunmanusia.
ormalisasiargumenteoremaketidaklengkapanE�deliniberikutpenjelasandanor malisasiselanjutnyadariprosedureektisecaraintuisimerupakansalahsatupencapai anintelektualterbesarabad 4?, yaituabaddimanaormalisasiberkembangsemarak. engembanganteoriotomata, komputasidanteoribahasaberikutnyadiasilitasiperkembanganbidangpsyco' linguistic.Bidangpsyco'linguistic berupayamenjaabpertanyan' pertanyanberikut0 ' ApakahbahasasecaraumumF ' BagaimanamanusiamengembangkanbahasaF ' BagaimanamanusiamemahamibahasaF ' Bagaimanamanusiamengajarkanbahasakeanak'anaknyaF ' Apagagasan'gagasan yang dapatdinyatakandanbagaimanacaranyaF ' Bagaimanamanusiamembangunkalimat'kalimatdarigagasan'gagasan yang berada di pikirannyaF *ekitartahun 5G?'an, #oam $homsky menciptakan model matematikasebagaisaranauntukmendeskripsikanbahasasertamenjaabpertanyaa n'pertanyaan di atas.*aatinidimulaipendalamanbidangbahasakomputer. erbedaanantarabahasakomputerdanbahasamanusiaadalahsampaisekarangbelum diketahuinyabagaimanacaramanusiamengartikanbahasa, sementaradenganpastidapatmengartikanbahasapadakomputer. #oam $homsky mengemukakanperangkat untukmemodelkanproperti'propertibahasa.
ormat
disebut
grammar
Erammar berisisejumlahaturansertamenspesiikasikanbahasatertentu. Bahasa berisisemua grammar.
string yang dapatdihasilkanmenggunakanaturan'aturan
@eskipembahasan $homsky terutamaditujukanuntukbahasaalami, grammar mempunyainilaimanaatsangatbesar di ilmuinormatikakomputerkarenapencapaianinidigunakanuntukmendeskripsikan danmendeinisikansintaksbahasapemrogramandanbahasa'bahasa ormal lainnya. Erammar diterapkanpadaperancangankompilatordanbidang'bidang ilmukomputer.
di
@c$ulloch dan itts mengemukakan@esinAbstraksederhanayaitu inite automata untukmemodelkan neuron nets.
inite automata juga digunakanuntukmerancang sitching circuit.*tudimengenaiteoriotomataterkaitbidang'bidang lain di ilmukomputer. !emudian ekivalensiantara inite automata danekspresireguler (reguler e8pression) dikemukakan *tephen !leene.*ejaksaatituteoribahasadikaitkansecaraeratdenganteoribahasa ormal.ubunganteoriotomatadanteoripengkodean (coding theory) juga banyakditeliti. Turing machine sepertikomputer modern saatinidapatmengolah (simbol'simbol di tape) danmengahasilkankeluaran (simbol'simbol yang berada di tapenyasetelahberakhirnyasebarisanpergerakkan) merupakankaryateoritisdari Alan Turing. !arenabanyak yang berperanpadapengembangannya, bidangteoriinidiberianekaragamnamayaitu0 ' teoriotomata (theory o automata) ' teoribahasa ormal (theory o ormal language) ' teorimesinturing (theory o Turing machine).
