Otomata & Bahasa Formal

"lmu Komputer mempunyai dua bidang: Pertama, menitikberatkan pada ide dasar dan model komputasi, kedua, teknik rekayasa untuk mendisain sistem komputer baik perangkat keras (hardware) maupun perakat lunak (software), khususnya aplikasi dari teori pada desain. Teori Ilmu Komputer telah dimulai dari berbagai bidang: para ahli biologi mempelajari model untuk jaringan neuron, teknik elektro mengembangkan teori rangkaian listrik sebagai alat untuk mendisain perangkat keras, ahli matematika bekerja pada dasar-dasar rangkaian logika, dan ahli bahasa meneliti tata bahasa untuk bahasa alami.
Buku ini terdiri dari berbagai bagian. Bab I akan memberikan gambaran umum kontribusi dari teori bahasa dan otomata serta beberapa konsep dasar yang harus dipahami. Pada Bab II akan dibahas secara detail konsep bahasa dan tata bahasa.
Pada Bab III sampai Bab VI, pembahasan pada Finite Automa dan Ekpresi regular, pada awalnya dikembangkan untuk jaringan neuron dan rangkaian listrik. Akhir-akhir ini digunakan sebagai alat (tools) untuk mendisain analisis leksikal, bagian dari kompilasi. Pada sistem penulisan kompilasi secara otomatis mentransformasikan ekspresi regular menjadi finite automata yang digunakan sebagai analisa leksikal. Juga pada teks editor, penyesuaian pola, berbagai pemrosesan teks, program pencarian file, dan konsep matematika dengan berbagai aplikasi seperti logika.
Pembahasan tata bahasa bebas konteks dan push down automata, pada Bab VII sampai Bab X bertujuan untuk menspesifikasikan bahasa pemrograman dan pada disain parser, merupakan bagian lain dari kompilasi.
Pada Bab XI akan dibahas mesin Turing, salah satu masalah yang fundamental dalam ilmu komputer, yaitu terdapat lebih banyak fungsi dari pada nama fungsi atau dari pada algoritma untuk menghitung fungsi. Asumsikan bahwa untuk setiap fungsi yang terhitung terdapat suatu program komputer atau algoritma yang dapat menghitung fungsi tersebut, dan asumsikan bahwa setiap program komputer atau algoritma dapat ditentukan terhingga. Sehingga program komputer tidak lagi merupakan string dengan panjang terhingga dari alphabet yang terhingga. Akibatnya himpunan semua program komputer adalah tak terhingga.
Pada Bab XII akan diberikan cara yang prinsipel di mana parser yang efisien dapat dibangun dari berbagai jenis tata bahasa bebas konteks.
"