1.13k likes | 1.15k Views
Explore the concepts of Nondeterministic Finite Accepters (NFA) through examples and explanations. Learn how NFAs process input strings and determine acceptance or rejection criteria. Discover the key components and behaviors of NFAs in automata theory.
E N D
Non Deterministic Automata Costas Busch - RPI
Nondeterministic Finite Accepter (NFA) Alphabet = Costas Busch - RPI
Nondeterministic Finite Accepter (NFA) Alphabet = Two choices Costas Busch - RPI
Nondeterministic Finite Accepter (NFA) Alphabet = Two choices No transition No transition Costas Busch - RPI
First Choice Costas Busch - RPI
First Choice Costas Busch - RPI
First Choice Costas Busch - RPI
First Choice All input is consumed “accept” Costas Busch - RPI
Second Choice Costas Busch - RPI
Second Choice Costas Busch - RPI
Second Choice No transition: the automaton hangs Costas Busch - RPI
Second Choice Input cannot be consumed “reject” Costas Busch - RPI
An NFA accepts a string: when there is a computation of the NFA that accepts the string AND all the input is consumed and the automaton is in a final state Costas Busch - RPI
Example is accepted by the NFA: “accept” “reject” because this computation accepts Costas Busch - RPI
Rejection example Costas Busch - RPI
First Choice Costas Busch - RPI
First Choice “reject” Costas Busch - RPI
Second Choice Costas Busch - RPI
Second Choice Costas Busch - RPI
Second Choice “reject” Costas Busch - RPI
An NFA rejects a string: when there is no computation of the NFA that accepts the string: • All the input is consumed and the • automaton is in a non final state OR • The input cannot be consumed Costas Busch - RPI
Example is rejected by the NFA: “reject” “reject” All possible computations lead to rejection Costas Busch - RPI
Rejection example Costas Busch - RPI
First Choice Costas Busch - RPI
First Choice No transition: the automaton hangs Costas Busch - RPI
First Choice Input cannot be consumed “reject” Costas Busch - RPI
Second Choice Costas Busch - RPI
Second Choice Costas Busch - RPI
Second Choice No transition: the automaton hangs Costas Busch - RPI
Second Choice Input cannot be consumed “reject” Costas Busch - RPI
is rejected by the NFA: “reject” “reject” All possible computations lead to rejection Costas Busch - RPI
Language accepted: Costas Busch - RPI
Lambda Transitions Costas Busch - RPI
(read head does not move) Costas Busch - RPI
all input is consumed “accept” String is accepted Costas Busch - RPI
Rejection Example Costas Busch - RPI
(read head doesn’t move) Costas Busch - RPI
No transition: the automaton hangs Costas Busch - RPI
Input cannot be consumed “reject” String is rejected Costas Busch - RPI
Language accepted: Costas Busch - RPI
Another NFA Example Costas Busch - RPI
“accept” Costas Busch - RPI
Another String Costas Busch - RPI