Nama : Danar Dharmawan D.

NIM : 161080200022

Kelas : 3B1/ T.Informatika

UTS Mata Kuliah Teori Bahasa dan Automata

1. Otomata merupakan suatu sistem yang terdiri atas sejumlah berhingga state, di mana
state menyatakan informasi mengenai input. Otomata juga dianggap sebagai mesin
otomatis (bukan mesin fisik) yang merupakan suatu model matematika dari suatu
sistem yang menerima input dan menghasilkan output, serta terdiri dari sejumlah
berhingga state.
2.

Bahasa Mesin Otomata Batasan Aturan Produksi

Regular Finite State Automata (FSA) adalah sebuah simbol

meliputi Deterministic Finite variabel.

Automata (DFA) & Non maksimal memiliki sebuah

Deterministic Finite Automata simbol variabel yang bila ada

(NFA) terletak di posisi paling kanan

Bebas Konteks / Context Free Push Down Automata (PDA) berupa sebuah simbol

variabel

Context Sensitive Linier Bounded Automata || ||

Unrestricted / Phase Structure Mesin Turing Tidak ada batasan

/ Natural Language
3. Tata Bahasa Regular

Aturan :

- Simbol pada Sebelah kiri harus berupa sebuah simbol variabel

- Simbol pada sebelah kanan maksimal hanya memiliki sebuah simbol variabel dan
bila ada terletak di posisi paling kanan

Tata Bahasa Bebas Konteks

Aturan :

- Simbol pada Sebelah kiri harus berupa sebuah simbol variabel

Tata Bahasa CONTEXT SENSITIVE

Aturan :

- Simbol pada Sebelah kiri harus minimal ada sebuah simbol variabel
- Jumlah simbol pada ruas sebelah kiri harus lebih kecil atau sama dengan
jumlah simbol pada ruas kanan.

Tata Bahasa UNRESTRICTED

Aturan :

- Simbol pada Sebelah kiri harus minimal ada sebuah simbol variabel
 4.

Bahasa Bahasa Bebas Bahasa Bahasa

Regular Konteks CONTEXT UNRESTRICTED
SENSITIVE

ABC Tolak Tolak Tolak Terima

A bcD Terima Terima Terima Terima

B bcdefg Terima Terima Terima Terima

AB CD Tolak Tolak Terima Terima

B cde Terima Terima Terima Terima

bC D Tolak Tolak Terima Terima

Abcd e terima Tolak Tolak Terima

A Tolak Tolak Tolak Terima

Bc Tolak Tolak Tolak Tolak

AbC DeFg Tolak Tolak Terima Terima