According to the Chomsky Hierarchy, the requirement of a certain type of grammar to generate a language is often clubbed with a suitable machine that can be used to accept the same language. When the grammar is simple, the language becomes more complex, hence we require a more powerful machine to understand the language and accept it.

**Example:**

Type 0 Grammar is simple and it generates a Recursive Enumerable Language (REL), which requires a powerful machine such as “Turing Machine” to accept all strings.

Here, we discussed about a similar scenario belonging to this hierarchy, which is the Type 2 Grammar; it generates Control Free Language accepted by a Push Down Automata (PDA).

The diagram above shows a input tape which is how a Finite Automata works, the strings are accepted into the tape and the read header keeps getting updated according the instructions provided by Finite Control Unit. Pushdown Automata on the other hand is a combination of this tape and a Stack data structure.

The tuples included to form a PDA are as follows:

We see that the first four tuples Q, , qo and F are similar as in the case of a Finite Automata.

Let’s talk about , now that we know that Pushdown Automata has a Stack mechanism to accept languages which aren’t possible in a Finite Automata. The problem comes when before a Push operation we need to check for Overflow Condition, or before a Pop Operation we check for the Underflow Condition.

We solve this problem by assuming that the Stack is infinite, while the empty condition is overcome by pre introducing an element into the stack before working on the string.

**This assumption helps us in two ways :-**

- We overcome the underflow condition thus saving any memory to keep a check on Stack empty.
- Initial Stack symbol can be used to declare that string processing has been done successfully.

**Gamma Symbol ()** is used to denote all the Stack Alphabets. Each input alphabet ( same or different ) can be denoted by a different Stack symbol. It’s also necessary as it conveys the topmost element of the stack to the machine.

**Delta Function ()** is the transition function, the use of which will become more clear by taking a closer look at the Three Major operations done on Stack :-

- Push
- Pop
- Skip

** 1.PUSH **

Push Operation is done as shown in the diagram.

** The transition takes place in the order :- ** * Input, Topmost Element / Final List *

Here, a is the input element, which is inserted into the stack, thus making the final content to be aZo.

** 2.POP **

Pop Operation is done as shown in the diagram.

** The transition takes place in the order :-** * Input Element, Topmost Element / Removal Confirmation *

Here, a is the input, c is the element to be deleted and the removal confirmation is shown by Epsilon symbol declaring that the immediate has been popped and is Empty.

** 3.SKIP **

Skip operation is done as shown in the diagram.

** The transition takes place in the order:- ** *Input Element, Topmost element/Topmost Element*

Here, a is the input and the stack remains unchanged after this operation.

Hence, this concludes the detailed study on how a Pushdown Automata works. Next we will be heading onto some examples to make working and transitions more clear.

Attention reader! Don’t stop learning now. Get hold of all the important CS Theory concepts for SDE interviews with the CS Theory Course at a student-friendly price and become industry ready.

## Recommended Posts:

- Difference between Pushdown Automata and Finite Automata
- Introduction of Pushdown Automata
- Construct Pushdown Automata for given languages
- Pushdown Automata Acceptance by Final State
- Construct Pushdown Automata for all length palindrome
- Construct Pushdown automata for L = {0
^{n}1^{m}2^{m}3^{n}| m,n ≥ 0} - Construct Pushdown automata for L = {a
^{(2*m)}c^{(4*n)}d^{n}b^{m}| m,n ≥ 0} - Construct Pushdown automata for L = {0
^{n}1^{m}2^{(n+m)}| m,n ≥ 0} - Construct Pushdown automata for L = {0
^{m}1^{(n+m)}2^{n}| m,n ≥ 0} - Construct Pushdown automata for L = {0
^{(n+m)}1^{m}2^{n}| m, n ≥ 0} - Automata Theory | Set 1
- Automata Theory | Set 2
- Automata Theory | Set 3
- Automata Theory | Set 4
- Automata Theory | Set 5
- Introduction of Finite Automata
- Designing Finite Automata from Regular Expression (Set 1)
- Generating regular expression from Finite Automata
- Designing Non-Deterministic Finite Automata (Set 3)
- Practice problems on finite automata

If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to contribute@geeksforgeeks.org. See your article appearing on the GeeksforGeeks main page and help other Geeks.

Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.