M is deterministic if it satisfies both the following conditions:
• For any q belongs to Q, a belongs to Σ U {Λ} , X belongs to Γ, the set δ(q,a,X) has at most one element.
• For any q belongs to Q, X belongs to Γ, if δ(q, Λ, X) ≠ Ø , then δ(q,a,X) = Ø for every a belongs to Σ
DPDA & NPDA are different only because DPADA is deterministic and it is weaker than NPDA.
Showing posts with label deterministic. Show all posts
Showing posts with label deterministic. Show all posts
Thursday, May 24, 2007
Wednesday, May 23, 2007
Deterministic Push down Automata (DPDA)
“Deterministic Push down Automata” (DPDA):
Formal definition:
A PDA M can be defined as a 7-tuple:
M = (Q,Σ,Γ,q0,Z0,A,δ) where
Q is a finite set of states
Σ is a finite set of the input alphabet
Γ is a finite set of the stack alphabet
q0 is the start state, an element of Q
Z0 is the initial stack symbol, an element of Γ
A is the set of final states, a subset of Q
δ is a finite transition relation (Q x (Σ U {Λ} x Γ ) ----> the set of finite subsets of (Q x Γ* )
Formal definition:
A PDA M can be defined as a 7-tuple:
M = (Q,Σ,Γ,q0,Z0,A,δ) where
Q is a finite set of states
Σ is a finite set of the input alphabet
Γ is a finite set of the stack alphabet
q0 is the start state, an element of Q
Z0 is the initial stack symbol, an element of Γ
A is the set of final states, a subset of Q
δ is a finite transition relation (Q x (Σ U {Λ} x Γ ) ----> the set of finite subsets of (Q x Γ* )
Tuesday, May 1, 2007
Automata Step by Step
Now we will discuss regular languages in this post.
Regular language:
A regular language is the set of strings generated by a regular grammar. Regular grammars are also known as Type-3 grammars in the Chomsky hierarchy.
A regular grammar can be represented by a deterministic or non-deterministic finite automaton. Such automata can serve to either generate or accept sentences in a particular regular language. Note that since the set of regular languages is a subset of context-free languages, any deterministic or non-deterministic finite automaton can be simulated by a pushdown automaton.
Now you will be curious to know about the terms “deterministic finite automaton”, “non-deterministic finite automaton”, “pushdown automaton” and “context-free languages”.
In next Post, we will discuss only “deterministic finite automaton” and “nondeterministic finite state machine”.
Regular language:
A regular language is the set of strings generated by a regular grammar. Regular grammars are also known as Type-3 grammars in the Chomsky hierarchy.
A regular grammar can be represented by a deterministic or non-deterministic finite automaton. Such automata can serve to either generate or accept sentences in a particular regular language. Note that since the set of regular languages is a subset of context-free languages, any deterministic or non-deterministic finite automaton can be simulated by a pushdown automaton.
Now you will be curious to know about the terms “deterministic finite automaton”, “non-deterministic finite automaton”, “pushdown automaton” and “context-free languages”.
In next Post, we will discuss only “deterministic finite automaton” and “nondeterministic finite state machine”.
Subscribe to:
Comments (Atom)