Lisensi Dokumen:

Copyright 2009 IlmuKomputer.Com

Seluruh dokumen di IlmuKomputer.Com dapat digunakan, dimodifikasi dan disebarkan
secara bebas untuk tuuan bukan komersial !nonprofit", dengan syarat tidak menghapus
atau merubah atribut penulis dan pernyataan copyright yang disertakan dalam setiap
dokumen. #idak diperbolehkan melakukan penulisan ulang, kecuali mendapatkan iin
terlebih dahulu dari IlmuKomputer.Com.
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
AUTOMATA dan BAHASA FORMAL
AUTOMATA dan BAHASA FORMAL

Praktika Finite Automata
Praktika Finite Automata

Dengan Output
Dengan Output
Aris Eka Subiyanto
Zira_ilkom@yahoo.com
1. PENDAHULUAN
Bisa dikataka !ah"a iput strig merepresetasika suatu program da iput
data. #roses readig $ pem!acaa a!%ad&a!%ad dari suatu strig aalog dega
pegeksekusia istruksi&istruksi yag megisyaratka perpidaha state pada mesi
terse!ut. 'ecara teoritis seharusya kita mampu meghasilka output dega pa%ag
yag ter!atas( tetapi !agaimaa %ika misalya secara sederhaa kita megigika
pecetaka iput strig yag !isa %adi hasilya cukup pa%ag )
#ertayaa iilah yag harus dihadapi sehu!uga dega *odel matematika
+iite ,utomata da -raph trasisi yag merepresetasika *esi secara .isik.
Keter!atasa +iite ,utomata ditu%ukka dalam keputusaya haya pada strig&strig
yag diterima atau ditolak( ,utomata terse!ut !iasa dise!ut /aguage ,cceptor atau
0ecogi1er. *erekostruksi *odel matematika suatu +iite 'tate ,utomata me%adi
+', yag meghasilka suatu output !ukalah hal yag mustahil( hal ii sudah !isa
2
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
dipecahka dega ditemukaya model terse!ut oleh -.3 *eally 429556 da secara
terpisah oleh 7.+ *oore 429586. 9u%ua iti dari peemua ii adalah utuk medesai
suatu model *atematika !agi peerapa sirkuit sekuesial( yag merupaka a!straksi
kompoe ker%a komputer secara .isik.
:i!erika pe%a!ara tetag *esi *ealy da *esi *oore secara terpisah
sesuai dega karakteristikya masig&masig( !aik di dalam pede.iisiaya( prisip
ker%aya da represetasi -raphya. :ega teori yag ada aka diimplemetasika
dalam !e!erapa cotoh peerapa praktis yag cukup .amiliar sehigga aka semaki
%elas pegertia da ilai keguaa *esi&mesi terse!ut( !aik sekarag maupu ilai
predikti. dimasa datag.
2. DEFINISI dan IMPLEMENTASI
#ada !agia ii aka di!erika de.iisi *esi *ealy da *esi *oore secara
terpisah kemudia cotoh implemetasi pada 'irkuit
2.1 MESIN MOORE
2.1.1 Pnd!inisian
D!inisi Msin Moor "
*esi *oore dide.iisika dalam 84eam6 9upple( *o ; 4<((('((6(
dimaa =
< ; 3impua state ter!atas $ letter
; 3impua sym!ol iput
; +ugsi 9rasisi
' ; 'tate a"al( ' <
; 3impua sym!ol output $ karakter
; +ugsi output utuk setiap state
#ada mesi *oore( dia"al proses selalu mecetak $meghasilka karakter
yag !erada pada start state. *esi *oore tidak mede.iisika suatu
!ahasa dalam meerima utai&utai( karea setiap iput strig
meghasilka output strig da tidak terdapat .ial state. #roses aka
!erheti %ika iput letter$a!%ad terakhir di!aca da output karakter terakhir
2
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
dicetak. >ikalau iput strig misalya a!%ad( maka output strig aka
terdapat ?2 karakter karea terdapat ?2 state yag dilalui dalam
prosesya $ path.
2.1.2 R#rsntasi $ra!
*isal kita igi memperoleh sisa pem!agia 4modulus6 suatu !ilaga
dega @. :ega iput yag diyataka dalam !ier.
*aka =
< ; 4A0(A2(A26( ; B0(2C( ; B0(2(2C( ' ; A0( 4A06 ; 0( 4A26 ; 2(
4A26 ; 2
0 2
2 0
0 2 2
:ari gam!ar diatas =
*isal = 5 mod @ ; )
Iput = 202 maka uruta state yag dicapai = A0.A2(A2(A2
'tate terakhir yag dicapai adalah A2( 4A26 ; @
2.2 MESIN MEAL%
2.2.1 Pnd!inisian
D!inisi Msin Moor "
*esi *ealy dide.iisika 84eam6 tupple( *e ; 4<((('((6( dimaa =
< ; 3impua state ter!atas $ letter
; 3impua sym!ol iput
; +ugsi 9rasisi
' ; 'tate a"al( ' <
; 3impua sym!ol output $ karakter
; +ugsi output utuk setiap trasisi
@
A
0
A
2
A
2
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
'etiap 7dge yag ter!etuk dila!el komposisi sym!ol i$o 4iput$output6.
'etiap state harus mempuyai satu !uah edge yag megarah ke state
!erikutya utuk setiap kemugkia iput letter. 7dge yag dilalui
tergatug kepada iput letter i( ketika me%ela%ahi edge kita harus
mecetak output karakter o. *esi *oore tidak mede.iisika suatu
!ahasa dalam meerima utai&utai( karea setiap iput strig
meghasilka output strig da tidak terdapat .ial state. . >ikalau iput
strig misalya a!%ad( maka output strig aka terdapat karakter.
2.1.2 R#rsntasi $ra!
*isal

a$0 !$2
a$2
!$0 a$0
!$2 !$2
a$2
iput = aaa!!
'tate yag ditempuh = A2&A@&A@&A0&A@
Dutput = 02220
2.& I'#('ntasi Pada Sirkuit Skunsia(
,plikasi +iite ,utomata dega output pada sekuesial sirkuit !erkaita
erat dega ,rsitektur computer. #eerapa *odel *esi ii umumya !er.ugsi
se!agai pe%elas dari aksi sekuesial sirkuit yag dimodelka.
T(adan = 2E *esi peghasil 2Fs kompleme yag !isa dieGolusika
me%adi mesi peguraga
0$2(2$0
H
A
0
A
2
A
@
A
2
A
0
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
iput = 002020
output = 220202
2E Icremeter yag !iasa kita temuka pada C#U
0$0(2$2
0$2 0$2
2$0 2$0
iput = 2022 &E di!aca ter!alik 2202
output = 0022 &E ditulis ter!alik 2200
@E +lip&lop merupaka suatu ragkaia ger!ag logika yag
mempuyai
dua keadaa sta!il pada outputya( dalam hal ii
direpresetasika dega !it 0(2. 9erdapat !e!erapa %eis
+lip&.lop yaitu = '0 +lip&+lop( >K +lip&.lop( *aster&'laGe
>K++(da : +lip&.lop. +lip&.lop !er.ugsi meyimpa data.
& : +lip +lop(
Iput , B out
:iketahui terdapat H4empat6 state !erdasarka ada tidakya
arus pada titik , da B di sirkuit
<0 adalah ,;0 B;0
<2 adalah ,;0 B;2
<2 adalah ,;2 B;0
<@ adalah ,;2 B;2
5
A
0
A
2
A
2
D0
D0
:7/,I J,J:
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
0ule peru!aha state setelah iput 0 atau 2
Je" B ; Dld ,
Je" , ; 4iput6 J,J: 4Dld , or Dld B6
Dutput ; 4iput6 D0 4old B6
#ada pulsa diskrit yag !erGariasi pada peerimaa iput
9ime clock( state !eru!ah da outputpu dihasilka.
Misa(kan kita brada #ada stat )* dan 'nri'a
in#ut * "
Je" B ; Dld , ; 0
Je" , ; 4iput6 J,J: 4Dld , or Dld B6
; 406 J,J: 40 D0 06
; 0 J,J: 0
; 2
Dutput ; 0 or 0 ;0
Stat baru ada(a+ )2 ,karna N- A.1/ N- 0.*1.
2ika kita brada #ada )* dan 'nri'a in#ut 1 "
Je" B ; Dld , ; 0
Je" , ; 2 J,J: 40 D0 06 ; 2
Dutput ; 2 D0 0 ; 2
Stat baru ada(a+ )2 ,karna N- A.1/ N- 0.*1.
2ika kita di )1 dan 'nri'a in#ut * "
Je" B ; Dld , ; 0
Je" , ; 0 J,J: 40 D0 26 ; 2
Dutput ; 0 D0 2 ; 2
Stat baru ada(a+ )2
2ika kita brada #ada )1 dan 'nri'a in#ut 1 "
Je" B ; Dld , ; 0
Je" , ; 2 J,J: 40 D0 06 ; 2
Dutput ; 2 D0 2 ; 2
8
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
Stat baru ada(a+ )*
2ika kita brada #ada )2 dan 'nri'a in#ut * "
Je" B ; Dld , ; 2
Je" , ; 0 J,J: 42 D0 06 ; 2
Dutput ; 0 D0 0 ; 2
Stat baru ada(a+ )& ,karna N- A.1/ N- 0.11.
2ika kita brada #ada )2 dan 'nri'a in#ut 1 "
Je" B ; Dld , ; 2
Je" , ; 2 J,J: 42 D0 06 ; 0
Dutput ; 2 D0 0 ; 2
Stat baru ada(a+ )1
2ika kita brada #ada )& dan 'nri'a in#ut * "
Je" B ; Dld , ; 0
Je" , ; 0 J,J: 42 D0 26 ; 2
Dutput ; 0 D0 2 ; 2
Stat baru ada(a+ )&
2ika kita brada #ada )& dan 'nri'a in#ut 1 "
Je" B ; Dld , ; 2
Je" , ; 2 J,J: 42 D0 26 ; 0
Dutput ; 2 D0 2 ; 2
Stat baru ada(a+ )1.
Dld state
'etelah iput 0 'etelah iput 2
Je"
state
Dutput Je"
state
Dutput
A0
A2
A2
A@
A2
A2
A@
A@
0
2
0
2
A2
A0
A2
A2
2
2
2
2
K
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com

0epresetasi aksi dari sirkuit terse!ut dalam *esi *ealy
2$2 0$0(2$2
0$2


2$2

2$2 0$0
0$2
&. PENUTUP
+iite 'tate ,utomata dega output merupaka 7Golusi dari +iite 'tate
,utomata koGesioal yag mempuyai kemampua le!ih yaitu meghasilka output.
*esi *ealy da *esi *oore merupaka cotoh kokret dari +', dega output .
9u%ua iti dari peemu *esi ii adalah utuk medisai suatu model matematika utuk
sirkuit sekuesial.
Dutput pada mesi *ealy !erasosiasi dega 0ule trasisi semetara pada *esi
*oore Dutput !erasosiasi dega state. #ada *esi *ealy maupu *oore tidak terdapat
+ial state sehigga tidak !isa mede.iisika suatu !ahasa dari utai&utai masuka.
3. REFERENSI
Cohe( :aiel I. ,( Itroductio to Computer 9heory( >oh Liley M 'os( Ic.
'igapura = 'igapura( 2992.
Kelley( :ea. Dtomata :a Bahasa +ormal( #9.#rehalido( >akarta = Idoesia
Lag( 0ady. http =$$ """.cs.#riceto.edu $ courses $ C228
N
A
0
A
2
A
@
A
2
Kuliah Umum IlmuKomputer.Com
Copyright 2009 IlmuKomputer.Com
0IO$RAFI PENULIS
Aris Eka Subiyanto.
/ahir di Kota digi *alag( 22 >auari 29NH. *eempuh
#edidika :asar higga meegah di 9umpag O *alag. 'empat
megeyam pedidika ala 9ekik O 9ekik sipil( meikmati
idahya 'astra Iggris O ala 3umaiora da pela!uha terakhir
tersitesaka dalam Ilmu Komputer & ala 'ciece UiGersitas
Bra"i%aya *alag. Bersyukur !isa meikmati Idahya Ilmu
Komputer !eserta keseluruha kompleksitasya kedatipu masih
ada !ayak da terlalu !ayak hal lagi yag masih perlu diselami
dari disipli !aru PmegagumkaQ ii.
,kti. mega%ar di /BB( asistesi praktikum ke*I#,a
da sagat tertarik dega duia pedidika khususya pedidika
*atematika da Ilmu Komputer. 0idu medalami aspek
$hilosophy Computer Science karea memimpika Idoesia yag
tidak haya me%adi egara pegekspor !eras( gula( %agug sa%a tapi
ekspor theory suatu saat ati. #edegar /agu s"eet >a11(
-edig >a"a( Chorale !eserta mai musikyaR.
%gelmu iku,
kalakone kanthi laku,
lekasane la&an kas,
tegese kas nyantosani,
Setya budya pangekese dur angkara. ! Serat 'edhatama "
,lamat Kotak =
Zira_ilkom@yahoo.com
9