Você está na página 1de 6

Teori

Bahasa

danOtomata

Bahasa adalah struktur yang dikendalikan sekumpulan aturan tertentu, semacam


mesin untuk memproduksi makna. Akan tetapi seperti setiap mesin hanya
terdapat kemungkinan terbatas bagi setiap orang dalam menggunakannya.
Dalam bahasa disediakan pembendaharaan kata atau tanda (vocabulary), serta
perangkat aturan bahasa (grammar, sintaks) yang harus dipatuh ijika hendak
menghasilkan
sebuah
ekspresi
yang
bermakna.
Proses

Kemampuan

Pemahaman

Bahasa

Hipotesis Noam Chomsky menggugat postulat John Locke (took hempirisme)


yang menyatakan segala pengetahuan yang dimiliki manusia berasal dari
rangsangan-rangsangan luar (pengalaman) yang ditangkap oleh indera-indera
manusia, sehingga meniadakan pengetahuan apriori (pengetahuan yang
langsung
tertanam
di
manusia)
Noam Chomsky menyandarkan pada pemahaman bahasa sebagai sesuatu yang
bersifat khas dan bawaan (tertanam)
pada manusia sejak lahir.
Secara khusus Chomsky dipengaruhi Descartes tentang bahasa dan pikiran yang
terikat begitu erat sehingga pengetahuan tentang bahasa bias membuka
pengetahuan
tentang
pikiran
manusia.
Secara mendasar bahasa adalah bagian psikologi manusia yang dipahami
sebagai teori tentang kemampuan pikiran manusia berupa ungkapan dari subjek
psikologi.
Chomsky dan para ahli bahasa telah mengamati anak kecil mampu
menjadilancarberbahasalebihcepatdanmudahdibanding
"algoritmabelajarberbahasa".
Sehingga para ahli bahasa membuat hipotesis otak berisi /memuatsuatu "mesin
bahasa umum".Kemudian selama masa awal pertumbuhan anak, terjadi
pertemuan dengan bahasa sehari-hari yang mengubah mesin bahasa umum
menjadi
mesin
bahasa
partikular
(tertentu)
kebahasa
spesifik.
Teori

Bahasa

Teori Bahasa adalah konsep-konsep pada "string alpabet V" dalam


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. Pada beberapa buku, alphabet dilambangkan dengan
Istilah huruf, karakter dan simbol adalah sinonim menunjukkan elemen alpabet.
Jik
symbol
berbaris
bersebelahan,
maka
diperoleh
"string
simbol".Istilah kalimat, kata dan string adalah sinonim
Contoh
{a,b}

->Himpunan

yang

- Penyambungan

terdiridarisimbol

"a"

(Concatenation

:
"b".

dan

o)

Penyambungan dilakukan pada 2 karakter atau lebih membentuk 1 barisan


karakter
(string
simbol).
Contoh
'a'
'ab'

o
o

'b'
'baab'

:
'ab'
'abbaab'

=
=

- String
pada
alpabet
V
Karakter atau barisan karakter pada alpabet V dibentuk dari penyambungan
karakter
pada
alpabet
V.
String pada alpabet V adalah deretan (sekeun) symbol dari V dimana perulangan
symbol
diijinkan.
Contoh
V
String

padaalpabet

=
antara

lain

->

:
{a,b,c,d}
'a','abcd','bbba'

Pemangkatan
Penyambungandapatdianggapsebagaiperkaliankarenabiasanyapenulisannyaadal
ahbila
x
dan
y
string,
maka
x
o
y
adalahxy.
sehinggapemangkatandapatdigunakan
VoV
=
VoVoV
VoVoVoV

VV
=
=

=
V2 ---->Panjang
string
V2oV=V3 ->Panjang
string
N4 ---->Panjang
string

=
=
=

2
3
4

VoVoVo...oV=Vn --->Panjang

string

Vk =
VoVoVo...oV
adalahhimpunan string denganpanjang k, masing-masingsimboladalahalpabet V
V* =
{}
U
V+ (Kleene
closure)
adalah string pada V, termasuk string kosongdimana string kosong (string
tanpasimbol)

mempunyaisifatidentitas,
yaitu:

o
x
=
x
x
o

=
x
V+ =
V1 U
V2 U
adalahhimpunan string pada

V3 U
...
(Positive
closure)
V, tidakada string kosongdidalamnya.

V0 =
{}
adalahhimpunan yang isinyahanya string kosong, dimana String kosong
tidaksamadenganhimpunankosong
Maka

'bbba'

dapatditulis

'b3a'

Panjang
String
Panjang string dilambangkan |w| dimanapanjang string adalahjumlahsimbol di
dalam string bukanpadaalpabetdanpengulangankemunculansimboldihitung.
Contoh:
||
|a|
|aa|
|aaa|
|aaab|

=
=
=
=
=

0
1
2
3
4

Otomata
Otomataadalahmesinabstrak yang menggunakan model matematika,
tetapimatematika
yang
digunakanbenarbenarberbedadibandingmatematikaklasikdankalkulus.
Model
yang
digunakanadalah model mesin state (state machine model) atau model trnasisi

state
Terdapat
-

(state
3

transition
model
Finite
Pushdown
Turing

model).

komputasipadateoriotomata.
automata
automata
Mavhine

MemoriOtomata
Otomatadibedakanberdasarkanjenismemorisementara yang dimilikinya, yaitu:
Finite
automata
Tidakmemilikimemorisementara.
Finite
adalahkelasmesindengankemampuan-kemampuan
paling

(FA)
automata
terbatas.

Pushdown
automata
(PDA)
Memilikimemorisementaradenganmekanisme LIFO (Last In, First Out).
Mesininilebihampuhkarenabantuankeberadaan stack yang dipandangsebagai
unit
memori
Turing
Machine
(TM)
Memilikimemoridenganmekanismepengaksesanacak (Random aksesmemori).
Turing Machine merupakan model matematika untuk computer saat ini.
Sejarah

Otomata

dan

Teori

Bahasa

Otomata bermula sebelum computer ada pada teori di bidang system logika
matematika atau formal, ilmuwan David Hilbert telah mencoba menciptakan
algoritma umum untuk pembuktian (seluruh) persoalan matematika secara
otomatis yaitu mampu menentukan salah benar nya sembarang prosisi
matematika.
Tahun
1931,
Kurt
Gdelmempublikasikanteoriketidaklengkapandimanamembuktikanprosedur/al
goritma yang dikehendaki David Hilbert tersebuttidakakanpernahada.
Gdelmembangunrumus
di
kalkuluspredikat
yang
diterapkanpadabilanganbulat yang memilikipernyataan-pernyataandefinisi yang
tidakdapatdibuktikanmaupundibantah
di
dalamsistemlogika
yang
mungkindibangunmanusia.

FormalisasiargumenteoremaketidaklengkapanGdeliniberikutpenjelasandanfor
malisasiselanjutnyadariprosedurefektifsecaraintuisimerupakansalahsatupencapai
anintelektualterbesarabad 20, yaituabaddimanaformalisasiberkembangsemarak.
Pengembanganteoriotomata,
komputasidanteoribahasaberikutnyadifasilitasiperkembanganbidangpsycolinguistic.Bidangpsyco-linguistic
berupayamenjawabpertanyanpertanyanberikut:
Apakahbahasasecaraumum?
Bagaimanamanusiamengembangkanbahasa?
Bagaimanamanusiamemahamibahasa?
Bagaimanamanusiamengajarkanbahasakeanak-anaknya?
Apagagasan-gagasan
yang
dapatdinyatakandanbagaimanacaranya?
- Bagaimanamanusiamembangunkalimat-kalimatdarigagasan-gagasan yang
berada
di
pikirannya?
Sekitartahun
1950-an,
Noam
Chomsky
menciptakan
model
matematikasebagaisaranauntukmendeskripsikanbahasasertamenjawabpertanyaa
n-pertanyaan
di
atas.Saatinidimulaipendalamanbidangbahasakomputer.
Perbedaanantarabahasakomputerdanbahasamanusiaadalahsampaisekarangbelum
diketahuinyabagaimanacaramanusiamengartikanbahasa,
sementaradenganpastidapatmengartikanbahasapadakomputer.
Noam Chomsky mengemukakanperangkat
untukmemodelkanproperti-propertibahasa.

format

disebut

grammar

Grammar berisisejumlahaturansertamenspesifikasikanbahasatertentu.
Bahasa berisisemua string yang dapatdihasilkanmenggunakanaturan-aturan
grammar.
Meskipembahasan Chomsky terutamaditujukanuntukbahasaalami, grammar
mempunyainilai/manfaatsangatbesar
di
ilmuinformatika/komputerkarenapencapaianinidigunakanuntukmendeskripsikan
danmendefinisikansintaksbahasapemrogramandanbahasa-bahasa
formal
lainnya.
Grammar
diterapkanpadaperancangankompilatordanbidang-bidang
ilmukomputer.

di

McCulloch dan Pitts mengemukakanMesinAbstraksederhanayaitu finite


automata untukmemodelkan
neuron
nets.

Finite
automata
juga
digunakanuntukmerancang
switching
circuit.Studimengenaiteoriotomataterkaitbidang-bidang lain di ilmukomputer.
Kemudian ekivalensiantara
finite
automata
danekspresireguler (reguler
expression)
dikemukakan
Stephen
Kleene.Sejaksaatituteoribahasadikaitkansecaraeratdenganteoribahasa
formal.ubunganteoriotomatadanteoripengkodean
(coding
theory)
juga
banyakditeliti.
Turing machine sepertikomputer modern saatinidapatmengolah (simbol-simbol
di tape) danmengahasilkankeluaran (simbol-simbol yang berada di
tapenyasetelahberakhirnyasebarisanpergerakkan)
merupakankaryateoritisdari
Alan
Turing.
Karenabanyak
yang
berperanpadapengembangannya,
bidangteoriinidiberianekaragamnamayaitu:
teoriotomata
(theory
of
automata)
teoribahasa
formal
(theory
of
formal
language)
- teorimesinturing (theory of Turing machine).