Finite State Automata

  Finite State Automata

Finite State Automata/otomata berhingga state, selanjutnya disebut sebagai FSA

yaitu suatu model matematika dari suatu sistem yang menerima input dan output diskrit.

FSA merupakan mesin otomata dari bahas regular. Suatu FSA memiliki state yang

banyaknya berhingga dan dapat berpindah-pindah dari suatu state ke state lain.

Perubahan state ini dinyatakan oleh fungsi transisi. FSA tidak memiliki tempat

penyimpanan, sehingga kemampuan ‘mengingatnya’ terbatas, hanya bisa mengingat

state yang terkini. Contoh FSA antara lain elevator, text editor, analisa leksikal, protokol

komunikasi jaringan dan pencek parity. FSA berdasar pada pendefinisian kemampuan

berubah state-statenya bisa dibagi menjadi Deterministic Finite Automata (DFA) dan

Non-deterministic Finite Automata (NFA).

Secara formal FSA 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), S є Q

F = himpunan state akhir, F ∩ Q (jumlah state akhir pada suatu FSA bisa lebih dari

satu)

sumber :https://media.neliti.com/