AUTOMATA DEFINITIONS THIS SUBJECT IS FULLY BASED ON EXAMPLES, DEFINITIONS, GRAMMAR RULES, DIAGRAMS AND THEOREMS. IMPORTANT DEFINITIONS: DFA: A Deterministic Finite State Automaton (DFSA) is denoted by M and it is a set of 5-tuples i.e. M=(Q, Σ, δ, q 0 , F) where, * Q is a non-empty finite set of states * Σ is a non-empty finite set of input symbols * q 0 is the initial state or starting state. (q0 ∈ Q) * F is a non-empty finite set of final state. (F ⊆ Q). * δ (pronounce delta) is the transition function. Q x Σ → Q. δ(q,a) = p means, if the automation is in state q and reading a symbol a, it goes to state p in the next instant, moving the pointer one cell to the right. NDFA: A Non-Deterministic Finite State Automaton (NFSA) is denoted by M and it is a set of 5-tuples i.e. M=(Q, Σ, δ, q 0 , F) where, * Q is a non-empty finite set of states * Σ is a non-empty finite set ...
Comments
Post a Comment
Please do not enter any spam link in the comment box.