Teori Komputasi dan Implementasinya Pada Bidang Matematika
Teori Komputasi Teori komputasi adalah salah satu cabang dari ilmu komputer dan matematika yang membahas masalah mana saja yang dapat diselesaikan dalam model komputasi menggunakan algoritma dan bagaimana menyelesaikan masalah tersebut secara efektif. Teori komputasi terbagi menjadi 3 cabang utama: Automata theory and formal languages (teori automata dan bahasa formal). Teori ini terdiri atas 3 model, yakni finite automata , context-free grammars , dan turing machines . Computability theory (teori komputabilitas). Teori ini digunakan untuk memahami masalah mana yang bisa dipecahkan (solvable) dan mana yang tidak bisa dipecahkan (unsolvable). Computational complexity theory (teori kompleksitas komputasi). Teori ini mengklasifikasikan masalah berdasarkan tingkat kesulitannya. Memberikan bukti yang kuat jika masalah yang sulit memang benar-benar sulit. Salah satu implementasi pada bidang matematikanya adalah Finite Automata...