Bahasa Komputer
Teori Bahasa dan Otomata
feori bahasa dan otomata merupakan bagian dari teori komputasi pada ilmu I komputer. Beberapa teori komputasidatang dari bahasa dan rekayasa sistem, tapi kebanyakan dari matematika. Di sini penekanannya lebih pada pemecahan masalah. Mahasiswa bisa belajar terutama melalui contoh-contoh ilustrasi yang menunjukkan latar belakang dari suatu konsep dan hubungannya dengan definisi dan teorema yang ada. Latihan-latihan yang ada pada setiap bab akan mempercepat proses belajar dan disusun dengan tingkat kesulitan yang berbeda. Beberapa latihan cukup sederhana, ada yang cukup sulit dan menantang pemikiran yang lebih mendalam. Buku ini memiliki beberapa bagian utama. Bab I akan memberikan gambaran umum mengenai kontribusi teori bahasa dan otomata, serta motivasi mempelajarinya. Di sini akan dijelaskan hierarki yang penting mengenai bahasa dari Chomsky. Matematika pendahuluan akan disampaikan secara sekilas, meliputi teori himpunan, relasi dan fungsi, induksi, serta graph dan tree. Bagian kedua meliputi bahasa reguler yang disajikan pada bab ll sampaidengan bab Vll. Pada bab ll akan dijelaskan mengenai otomata dari bahasa regular, yaitu finite state otomata. Bab lll dan bab lV akan menjelaskan korelasi anlar finite state otomata, baik yang deterministik, non deterministik maupun dengan transisi e. Ekspresi regular dibahas pada bab V. Bab Vl menerangkan hubungan aturan produksi pada tata bahasa reguler dengan finite state otomata. Mesin Moore dan mesin Mealy yang merupakan modifikasidari finite state otomata diuraikan pada bab Vll. Bagian ketiga merupakan pembahasan dari bahasa bebas konteks. Pohon penurunan diulas pada bab Vlll. Transformasi bentuk-bentuk aturan produksi pada bahasa bebas konteks dibahas pada bab lX sampatbab Xll, yang berturutturut meliputi penyederhanaan, bentuk normal Chomsky, penghilangan rekursif kiri, dan bentuk normal Greibach. Push down otomata merupakan otomata dari bahasa bebas konteks yang diulas pada bab Xlll. Bagian terakhir membicarakan mengenai mesin turing, pada bab XlV, dan kompleksitas komputasi, pada bab XV
No other version available