FINITE STATE AUTOMATA FSA yani KONSEP DASAR FSA

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 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 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