- Trending Categories
- Data Structure
- Networking
- RDBMS
- Operating System
- Java
- iOS
- HTML
- CSS
- Android
- Python
- C Programming
- C++
- C#
- MongoDB
- MySQL
- Javascript
- PHP

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

# What is Instantaneous Description and Turnstile Notation?

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.

## Turnstile Notation

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.

## Example

(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.

## Consider another example to understand more about ID and Turnstile Notation

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.

- Related Questions & Answers
- What is the Instantaneous description of PDA?
- What is Postfix Notation?
- Instantaneous and Average Power Formula
- What is IPV4 address notation and hierarchy of addressing?
- What is the difference between concept description in a large database and OLAP?
- What is python .. ("dot dot") notation syntax?
- What is Raw String Notation in Python regular expression?
- What are the methods for Data Generalization and Concept Description?
- 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
- Sign Magnitude notation