Finite State Automata
~Finite State Automata~ ~Bahasa Automata~ Definisi FSA (Finite State Automata) Finite State Automata adalah model matematika yang dapat menerima input dan mengeluarkan output yang memiliki state yang berpindah dari satu state ke state yang lainnya berdasarkan input dan fungsi transisi. Finite state automata tidak memiliki tempat penyimpanan/memory, hanya bisa mengingat state terkini. Tuple FSA (Finite State Automata) Secara formal FSA dinyatakan dengan 5-tuple atau M = (Q, Σ, δ, q 0 , F) : 1. Q = himpunan state/kedudukan 2. Σ = abjad, himpunan simbol input 3. δ = transition function 4. q 0 ∈ Q = start state/initial state 5. F ⊆ Q = final states Kita dapat menggambarkan dengan menulis M 1 = (Q, Σ, δ, q 0 , F), dimana: 1. Q = { q 1 , q 2 , q 3, q4} 2. Σ = {0, 1} 3. δ dapat digambarkan sebagai 4. q 1 adalah start state 5. F = {q 4 } Kita akan uji coba FSA tersebut dengan String sebagai berikut: 1101 0101 10