FINITE STATE AUTOMATA (FSA) *yani*
KONSEP DASAR FSA Finite State Automata / State Otomata berhingga, selanjutnya kita sebut sebagai FSA, bukanlah mesin fisik tetapi suatu model matematika dari suatu sistem yang menerima input dan output diskrit. Finite State Automata merupakan mesin otomata dari bahasa regular. Suatu Finite State Automata memiliki state yang banyaknya berhingga, dan dapat berpindah-pindah dari suatu state ke state lain.
KONSEP DASAR FSA Secara formal finite state automata dinyatakan oleh 5 tupel atau M=(Q, Σ, δ, S, F), dimana : Q = himpunan state / kedudukan Σ = himpunan simbol input / masukan / abjad δ = fungsi transisi S = state awal / kedudukan awal (initial state) F = himpunan state akhir Finite State Automata yang memiliki tepat satu state berikutnya untuk setiap simbol masukan yang diterima disebut Deterministic Finite Automata.
CONTOH DFA
LANJUTAN CONTOH DFA Biasanya fungsi-fungsi transisi ini kita sajikan dalam sebuah tabel transisi. Tabel transisi tersebut menunjukkan state-state berikutnya untuk kombinasi state-state dan input. Tabel transisi dari fungsi transisi di atas sebagai berikut.
KONVERSI TABEL KE DIAGRAM TRANSISI Sebaliknya, Kita juga dapat menggambar diagram transisi dari suatu tabel transisi.
NON DETERMINISTIC FINITE AUTOMATA Non Deterministic Finite Automata didefinisikan pula dengan lima (5) tupel, sama seperti halnya pada Deterministic Finite Automata. Perhatikan contoh di bawah ini.
NON DETERMINISTIC FINITE AUTOMATA Maka otomata ini disebut non-deterministik (tidak pasti arahnya). Bisa kita lihat tabel transisinya seperti di bawah ini. Perhatikan cara penulisan state hasil transisi pada tabel transisi untuk Non Deterministic Finite Automata digunakan kurung kurawal ‘{‘ dan ‘}’ karena hasil transisinya merupakan suatu himpunan state
TERIMA KASIH