- Related Questions & Answers
- What is the Instantaneous description of PDA?
- Instantaneous and Average Power Formula
- What is Raw String Notation in Python regular expression?
- What is python .. ("dot dot") notation syntax?
- What is the difference between `new Object()` and object literal notation in JavaScript?
- Dot notation vs Bracket notation in JavaScript
- Pin description of 6800
- Description of 8085 pins
- Description of 8253 timer
- Description of 8255 PPI
- What does a +function() { } notation do in JavaScript?
- In MySQL, what is Bit-field notation and how it can be used to write bit-field value?
- Description of logic controller interface
- Sign Magnitude notation
- Asymptotic Notation - O(), o(), Ω(), ω(), and θ()

- Selected Reading
- UPSC IAS Exams Notes
- Developer's Best Practices
- Questions and Answers
- Effective Resume Writing
- HR Interview Questions
- Computer Glossary
- Who is Who

The instantaneous description (ID) of a push down automata (PDA) is represented by a triple (q,w,s)

Where,

- q is the state.
- w is unconsumed input.
- s is the stack contents.

ID is an informal notation of how a PDA compares an input string and makes a decision that string is accepted or rejected.

It is used for connecting pairs of ID's that represent one or more moves of a PDA.

The process of transition is denoted by the turnstile symbol "⊢"

⊢ it represents one move.

⊢ sign describes a sequence of moves.

(P,b,T) ⊢ (q,w,a)

While taking a transition from P to q the input symbol 'b' is consumed and top of the stack 'T' is represented.

Problem: Find out IDs for input string w = "aaabb" of PDA. and check whether string is accepted by PDA or not?

Solution: Let us see the Instantaneous Description for string w = "aaabb"

(q_{0},aaabb,Z_{0}) |- (q_{0}, aabb, aZ_{0}) {based on Transition rule 1}

|-(q_{0},abb,aaZ_{0}) {Based on transition rule 2}

|-(q_{0},bb,aaaZ_{0}) {Based on transition rule 2}

|-(q_{1},b,aaZ_{0}){ Based on transition rule 3}

|-(q_{1},λ,aZ_{0}){ based on transition rule 3}

|- There is no defined move.

So finally the pushdown automaton stops at this move and the string is not accepted because the input string w is completed or input tape is empty, but the PDA stack is not empty.

So the string 'w' is not accepted.

Advertisements