Otomata dan Bahasa Formal

 llmu 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.