Automata Hingga Deterministik (AHD)

Automata Hinga Deterministik (AHD) didefinisikan dengan 5 tupel 

1. 1.Himpunan Hingga internal state (S)
2. Himpunan Hingga simbol input (V)
3. Sebuah fungsi f: S x V ® S ; merupakan fungsi next state
4. State awal (q0 Î S)
5. Himpunan hingga state penerima Ì S

AHD sering digambarkan dengan cara :

• nTable Transisi State

• nTransisi Digraph 

Contoh : Diketahui AHD dengan 2 simbol input dan 3 state,

1. 1.V = { a,b}
2. S = { q0, q1, q2)
3. T = {q0, q1} state penerima
4. q0 sebagai state awal
5. Fungsi next state didefinisikan f:(S,V) 

input f	a	b
q0	q0	q1
q1	q0	q2
q2	q2	q2

 

 Sumber : ug