1.
Non Deterministic Finite Auotmata Abhineet Anand Assistant Professor Dept. of Computer Science And Engineering, College of Engineering Studies. University of Petroleum and Energy Studies, Dehradun. January 24, 2013Abhineet Anand (UPES, Dehradun) Non Deterministic Finite Auotmata January 24, 2013 1/7
2.
Outline1 Why Nondeterminism2 Deﬁnition Abhineet Anand (UPES, Dehradun) Non Deterministic Finite Auotmata January 24, 2013 2/7
3.
Nondeterministic Nondeterministic means a choice of moves for an auotmaton. Set of possible moves is given rather than unique move. Formally, it is achieved by deﬁning the transition function so that its range is a set of possible states. Abhineet Anand (UPES, Dehradun) Non Deterministic Finite Auotmata January 24, 2013 3/7
4.
Why Nondeterministic A ”nondeterministic” ﬁnite automation(NFA) has the power to be in several states at once. Each NFA accepts a language that is also accepted by some DFA. NFA can be converted to DFA. Though nondeterministic is a feature which is normally not associated with real computers, it is an extension of the behaviour of DFA. Moreover, nondeterministic is an essential feature of FA, every NFA is equivalent to FA.Abhineet Anand (UPES, Dehradun) Non Deterministic Finite Auotmata January 24, 2013 4/7
5.
DeﬁnitionA non deterministic ﬁnite automata is a quintupleM=(Q, Σ, δ , q0 , F) 1 Q : Is a non-empty ﬁnite set of states presents in the ﬁnite control. (q0 , q1 , q2 , q3 , ...) 2 Σ : Is a non-empty ﬁnite set of input symbols which can be passed to the ﬁnite state machine. (a, b, c, d, ....) 3 q0 : Is a Starting state, One of the state in Q. 4 F : Is a non-empty set of ﬁnal states or accepting states, set of ﬁnal states belongs to Q. 5 δ : Is a Function called transition function that takes two argument : a state and input symbol, and it return a a sub set of state Q. that is Q x (ΣU {ϸ }) → 2Q Abhineet Anand (UPES, Dehradun) Non Deterministic Finite Auotmata January 24, 2013 5/7
6.
Non Deterministic Finite Automata The transition function is : Q x (ΣU {ϸ }) → 2Q .Transition Table for the above automata: Abhineet Anand (UPES, Dehradun) Non Deterministic Finite Auotmata January 24, 2013 6/7
7.
THANK YOUAbhineet Anand (UPES, Dehradun) Non Deterministic Finite Auotmata January 24, 2013 7/7
A particular slide catching your eye?
Clipping is a handy way to collect important slides you want to go back to later.
Be the first to comment