FAKULTAS TEKNOLOGI INFORMASI

TEORI BAHASA DAN KOMPUTER

[ KP181/ 3 SKS ]
 FAKULTAS
TEKNOLOGI INFORMASI

Pertemuan 2
HIRARKI CHOMSKY
 FAKULTAS
TEKNOLOGI INFORMASI

Tujuan Pembelajaran
 Mahasiswa Teknik Informatika mampu memahami dan
menjelaskan Hirarki Chomsky
 Memberikan pengetahuan dasar bahasa reguler, bahasa
bebas konteks/bahasa sensitif konteks/bahasa unrestricted
 Mahasiswa dapat menjelaskan batasan/aturan
bahasa(grammar) dari bahasa reguler, bahasa bebas
konteks/bahasa sensitif konteks/bahasa unrestricted
 Mahasiswa dapat menjelaskan dan menggambarkan mesin
otomata bahasa reguler, bahasa bebas konteks/bahasa
sensitif konteks/bahasa unrestricted
 FAKULTAS
TEKNOLOGI INFORMASI

Hirarki Chomsky

Penggolongan Bahasa
Bahasa Regular(Reguler Language)
Bahasa Bebas Konteks(Free Context
Language)
Bahasa Sensitif Konteks(Sensitive Context
Language)
Bahasa Unrestricted(Natural Language)
 FAKULTAS
TEKNOLOGI INFORMASI

Hirarki Chomsky
Pada tahun 1956-1959 Noam Chomsky berhasil
melakukan penggolongkan tingkatan dalam bahasa
berdasarkan aturan produksi, yaitu menjadi empat
tingkatan yang disebut Hirarki Chomsky
Tata bahasa(grammar) bisa didefinisikan secara
formal sebagai kumpulan dari himpunan
variabel(Non Terminal) yang biasanya
menggunakan huruf besar Abjad dari A s/d Z,
simbol-simbol terminal sebagai nilai/konstanta
yang biasanya menggunakan huruf kecil Abjad dari
a s/d z dan  (empty string), simbol awal, yang
dibatasi oleh aturan-aturan produksi.
 FAKULTAS
TEKNOLOGI INFORMASI

Hirarki Chomsky
Pada tahun 1959, Noam Chomsky seorang ahli filsafat Rusia melakukan
penggolongan bahasa menjadi 4(empat yang dikenal dengan “hirarki Chomsky”

BAHASA MESIN OTOMATA BATASAN ATURAN PRODUKSI

Regular/Tipe 3 Finite State Automata(FSA) meliputi :
Deterministic Finite Automata(DFA) dan Non
Deterministic Finite Automata(NFA)
Bebas Konteks/Context Push Down Automata(PDA)
Free / Tipe 2
α adalah sebuah simbol variabel
β maksimal memiliki sebuah simbol
variabel yang ada terletak diposisi
paling kanan
α berupa sebuah simbol variabel

Context Sensitive/Tipe 1 Linier Bound Automata |α|≤ |β|

Unrestricted/phase Mesin Turing Tidak ada batasan

Structure/Natural
Language/Tipe 0
 FAKULTAS
TEKNOLOGI INFORMASI

Hirarki Chomsky
1. Finite automata, Regular languages, Regular grammars:
deterministic vs. nondeterministic, one-way vs. two-way
finite automata, minimization, pumping lemma for regular
sets, closure properties.
2. Pushdown automata, Context-free languages, Context-
free grammars: deterministic vs. nondeterministic, one-
way vs. two-way PDAs, reversal bounded PDAs, linear
grammars, counter machines, pumping lemma for CFLs,
Chomsky normal form, Greibach normal form, closure
properties.
3. Linear bounded automata, Context-sensitive languages,
Context-sensitive grammars.
4. Turing machines, Recursively enumerable sets, Type 0
grammars: variants of Turing machines, halting problem,
undecidability, Post correspondence problem, valid and
invalid computations of TMs.
 FAKULTAS
TEKNOLOGI INFORMASI

Hirarki Chomsky
Contoh Bahasa Regular: Contoh Bahasa bebas konteks: Contoh context sensitive
A e A AduH Ab  DeF
A efgH A BeCak CD  eF
Contoh Unrestricted: Contoh yang tidak diterima bahasa (invalid):
AbuNawas bakar a  bd atau ab  bd atau aA bd
Nama  Abu Unrestricted

Context sensitive
Bebas konteks

Regular

Hubungan keterkaitan bahasa pada hirarki Chomsky

 FAKULTAS
TEKNOLOGI INFORMASI

Hirarki Chomsky
Tentukan aturan produksi berikut:
1. A  aSa
2. B  Ad
3. A  aSS
4. Ad  dB
5. abcDef  ghijkl
6. abC  DE
7. ABCDEFG  h
8. A  ABCDEF
9. bA  CDEFGh
10. AB  cde
 FAKULTAS
TEKNOLOGI INFORMASI

Different Kinds of Automata

Automata are distinguished by the temporary memory

• Finite Automata: no temporary memory

• Pushdown Automata: stack

• Turing Machines: random access memory

 FAKULTAS
TEKNOLOGI INFORMASI

Finite Automaton

temporary memory

input memory
Finite
Automaton
output memory

Example: Vending Machines

(small computing power)
 FAKULTAS
TEKNOLOGI INFORMASI

Pushdown Automaton
Stack Push, Pop

Pushdown input memory

Automaton
output memory
Example: Compilers for Programming Languages
(medium computing power)
 FAKULTAS
TEKNOLOGI INFORMASI

Turing Machine

Random Access Memory

input memory
Turing
Machine
output memory
Examples: Any Algorithm
(highest computing power)
 FAKULTAS
TEKNOLOGI INFORMASI

Bahasa Regular
 FAKULTAS
TEKNOLOGI INFORMASI

Bahasa Regular
 FAKULTAS
TEKNOLOGI INFORMASI

Bahasa Regular
 FAKULTAS
TEKNOLOGI INFORMASI

Bahasa Regular
 FAKULTAS
TEKNOLOGI INFORMASI

Bahasa Regular
 FAKULTAS
TEKNOLOGI INFORMASI

Bahasa Regular
 Tugas Bahasa Regular
1. Buat Mesin FSA Untuk Pengoperasian LIFT Elevator
2. Buat Mesin FSA Untuk Pengecekan Parity genap(ODD Parity
Check)
 FAKULTAS
TEKNOLOGI INFORMASI

Kesimpulan
 Mahasiswa Teknik Informatika mampu memahami dan
menjelaskan Hirarki Chomsky
 Mahasiswa dapat memberikan pengetahuan dasar bahasa
reguler, bahasa bebas konteks/bahasa sensitif
konteks/bahasa unrestricted
 Mahasiswa dapat menjelaskan batasan/aturan
bahasa(grammar) dari bahasa reguler, bahasa bebas
konteks/bahasa sensitif konteks/bahasa unrestricted
 Mahasiswa dapat menjelaskan dan menggambarkan mesin
otomata bahasa reguler, bahasa bebas konteks/bahasa
sensitif konteks/bahasa unrestricted
 FAKULTAS
TEKNOLOGI INFORMASI

Buku Referensi
 Linz, Peter. 2017. An introduction to formal languages
and automata, 6th edition, Sudbury, MA 01776: Jones &
Bartlett Learning, ISBN-13: 978-1284077247, ISBN-10:
1284077241.
 Utdirartatmo, Firrar. 2005. Teori Bahasa dan Otomata,
edisi kedua, cetakan Pertama. Yogyakarta: Graha Ilmu.
 John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman.
2013, Introduction to Automata Theory, Languages, and
Computation, 3th edition, USA: Pearson International
Edition.
 C. Martin, John. 2011. INTRODUCTION TO LANGUAGES
AND THE THEORY OF COMPUTATION, FOURTH EDITION,
New York: McGraw-Hill Companies, Inc.
 FAKULTAS
TEKNOLOGI INFORMASI

KESIMPULAN
SELESAI