Teori bahasa dan automata merupakan salah satu komponen ilmu informatika, teori ini merupakan ide dan model fundamental yang mendasari sebuah system komputasi, teori ini juga bisa disebut sebagai sebuah teknik rekayasa untuk perancangan system komputasi.
Beberapa bidang ilmu lain yang mendukung pengembangan metode komputasi :
1. Biologi
Mempelajari jaringan neuron yang mengilhami ditemukanannya finite automata.
2. Rangkaian Elektronika
Mempelajari teori switching sebagai perancangan perangkat keras menggunakan finite automata.
3. Matematika
Mengembangkan system logika yang berguna untuk masalah pembuktian automata.
* Beberapa model komputasi dalam automata:
1. Finite automata (FA)
Sering juga disebut dengan Finite State Automata (FSA). Terdiri dari Deterministic Finite Automata (DFA) dan Non Deterministik Finite Automata (NDFA). Teori dasar dari FA sangat umum yaitu system pada saat berada di salahsatu state dari sejumlah state bergerak diantara state-state secara dapat diproduksi yang bergantung pada masukan ke system. Salah satu penerapannya adalah kompilasi/translasi bahasa pemograman tingkat tinggi menjadi bahasa mesin yang ekivalen. Finite automata merupakan jenis otomata yang tidak memiliki memori sementara, FA adalah kelas mesin dengan kemampuan paling terbatas.
2. Pushdown Automata (PA)
Terdiri dari Deterministic Pushdown Automata (DFA) dan Non Deterministik Pushdown Automata (NDFA). PA memiliki memori sementara dengan mekanisme stack LIFO (Last In First Out).
3. Turing Machine (TM).
Memiliki mekanisme Random Access Memory.
Dalam teori bahasa dan Automata digunakan model state (State Machine Model). atau biasa disebut model transisi (State Transition Model), pengembangan teori automata difasilitasi dengan perkembangan bidang Psycho Linguistik.
Sumber : http://prayoga.wordpress.com/category/teori-bahasa-dan-automata/
Tidak ada komentar:
Posting Komentar