1.13k likes | 1.13k Vues
Non Deterministic Automata. Nondeterministic Finite Accepter (NFA). Alphabet =. Nondeterministic Finite Accepter (NFA). Alphabet =. Two choices. Nondeterministic Finite Accepter (NFA). Alphabet =. Two choices. No transition. No transition. First Choice. First Choice. First Choice.
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