Detail Cantuman

Teori bahasa dan otomata merupakan bagian dari teori komputasi pada ilmu komputer. Beberapa teori komputasi datang dari bahasa dan rekayasa sistem, tetapi kebanyakan dari matematika. Di sini penekanannya pada pemecahan masalah. Dalam buku ini dapt dijadikan referensi penelitian melalui contoh ilustrasi masalah yang menunjukan latar belakang suatu konsep dan hubungannnya dengan definisi dan teorema yang ada. Latihan-latihan yang ada pada setiap bab akan mempercepat proses penelitian. Buku ini memiliki beberapa bahan utama, bagian pertama akan memberikan gambaran umum mengenai kontribusi teori bahasa dan otomata, serta motivasi mempelajarinya.

Di sini dijelaskan pula mengenai pengertian dasar seperti simbol, string, kardinalitas, alphabet, bahasa, dan tata bahasa. Kemudian dijelaskan operasi dasar string dan beberapa sifat string. Bagian kedua menjelaskan mengenai Finite State Automata, yang terdiri dari konsep dasar, grammar, klasifikasi Chomsky, Derivasi Kalimat, penentuan bahasa, mesin pengenal bahasa, pembagian jenis FSA, contoh dari Deterministic Finite Automata (DFA) dan Non-deterministic Finite Automata (NFA). Bagian ketiga menjelaskan mengenai ekuivalensi NFA – DFA, tahapan ekuivalensi NFA – DFA. Bagian keempat menjelaskan mengenai NFA dengan e-move, e-closure, ekuivalensi NFA dengan e-move – NFA tanpa e-move, dan penggabungan FSA, dan konkatenasi FSA.

Bagian kelima menjelaskan ekspresi regular dan hubungan ekspresi regular dengan FSA. Bagian keenam menjelaskan mengenai aturan produksi bahasa regular, konstruksi aturan produksi, dan FSA dalam tata bahasa regular. Bagian ketujuh menjelaskan mengenai push down automata, finite state automata dengan output. Bagian kedelapan menjelaskan mengenai context free languages, parsing, ambiguitas, dan pohon penurunan. Bagian kesembilan menjelaskan mengenai penyederhanaan tata bahasa bebas konteks, prosedur penghilangan produksi useless, prosedur penghilangan produksi unit, dan prosedur penghilangan produksi empty. Bagian kesepuluh menjelaskan mengenai ciri-ciri normal Chomsky dan cara penormalan Chomsky. Bagian kesebelas menjelaskan mengenai penyederhanaan context free languages, aturan produksi rekursif.