Formal definition of DFA

What is the formal definition of DFA ?

E

Expert

Verified

A deterministic finite automaton is a 5-tuple

(Q, Σ, δ, q0, F)

- Q is a finite set called the states
- Σ is a finite set called the alphabet
- δ:Q x Σ→ Q is a function called the transition function
- q0 is an element of Q called the start state
- F is a subset of Q called the accept states

   Related Questions in Theory of Computation

©TutorsGlobe All rights reserved 2022-2023.