Bahasa Komputer
Otomata dan Bahasa Formal
lmu Komputer mempunyai dua bidang: Pertama, menitikberatkan pada ide das\\\'ar dah model komputasi, kedua, teknik rekayasa untuk mendisain sistem komputer baik perangkat keras (hardware) maupun perakat lunak (sofiware), khususnya aplikasi dari teori pada desain. Teori llmu 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 menelititata bahasa untuk bahasa alami. Buku initerdiridari berbagai bagian. Bab I akan memberikan gambaran umum kontribusidari teori bahasa dan otomata serta beberapa konsep dasaryang harus dipahami. Pada Bab ll akan dibahas secara detail konsep bahasa dan tata bahasa. Pada Bab lll sampai Bab Vl, pembahasan pada Finite Automa dan Ekpresi regular, pada awalnya dikembangkan untuk jaringan neuron dan rangkaian listrik. Akhir-akhir ini digunakan sebagai alat (too/s) 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 Vll sampai Bab X bertujuan untuk menspesifikasikan bahasa pemrograman dan pada drsain parser, merupakan bagian lain darikompilasi. Pada Bab Xl akan dibahas mesin Turing, salah satu masalah yang fundamental dalam ilmu komputer, yaitu terdapat lebih banyak fungsi dari pada nama fungsi atau dari pada plgoritma 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 Xll akan diberikan cara yang prinsipel di mana parser yang efisien dapat dibangun dariberbagaijenistatabahasabebaskonteks
No other version available