Make your own free website on Tripod.com
Home
 

KODE MK
INFK 205

MATA KULIAH
Statistik DasarTeori Bahasa dan Otomat

SMT IV
SKS 3/-

MATA KULIAH PRASYARAT
Logika Matematika

MATA KULIAH LANJUTAN
Teknik Kompilasi

TUJUAN KURIKULER MATA KULIAH

Memberikan pemahaman mengenai teori otomata sebagai dasar komputasi. mengambil kesimpulan.

POKOK BAHASAN & SUB POKOK BAHASAN

 

1. Pendahuluan.
- Tinjauan ulang teori himpunan dan beberapa teorema yang mendasari pendefinisian bahasa formal.
2. Formalisasi bahasa.
3. Otomata berhingga
a. Definisi Otomasi, Otomata.
b. Keberhinggaan otomata.
4. Bahasa Reguler.
a. Karakteristik tata bahasa reguler
b. Ekspresi reguler.
c. Otomata berhingga pengenal bahasa reguler.
5. Bahasa terbatas "restricted".
a. Karateristik tata bahasa terbatas
b. Push-down automata
6. Bahasa Peka Konteks.
a. Karateristik tata bahasa peka konteks.
b. Linier Bounded Automata.
7. Bahasa Bebasa Konteks
a. Karateristik Tata Bahasa Bebas Konteks
b. Mesin turing
8. Komputabilitas
9. Fungsi rekursif parsial
10 Kompleksitas

 

 

DAFTAR PUSTAKA
1. Brookshear, Glen, "Theory of Computation, Formal Languages, Automata, and Complexity",
Benjamin Cumming, 1989.
2. Marin, C. John, "The Languages And Computing Theory,"
3. Revesz, Gyorgy E, "Introduction To Formal Language", Mc Graw Hill, 1985.