# Difference between Pushdown Automata and Finite Automata

**Pushdown Automata:**

A Pushdown automata (PDA) is a finite state machine with an added stack storage. Additional stack is used in making the decision for transitions apart from input symbols and current state. It contains the following 7 tuples:

**Finite Automata:**

A Finite Automata is a mathematical model of any machine by which we can calculate the transition of states on every input symbol.Each transition in finite automata depends on the input symbols and current transition state. It contains the following 5 tuples:

Let’s see the difference between Pushdown Automata and Finite Automata:

S.NO | Pushdown automata | finite automata |
---|---|---|

1. | For Type-2 grammar we can design pushdown automata. | For Type-3 grammar we can design finite automata. |

2. | Non – Deterministic pushdown automata has more powerful than Deterministic pushdown automata. | Non-Deterministic Finite Automata has same powers as in Deterministic Finite Automata. |

3. | Not every Non-Deterministic pushdown automata is transformed into its equivalent Deterministic pushdown Automata . | Every Non-Deterministic Finite Automata is transformed into an equivalent Deterministic Finite Automata |

4. | Context free languages can be recognized by pushdown automata. | Regular languages can be recognized by finite automata. |

5. | Pushdown automata has the additional stack for storing long sequence of alphabets. | Finite Automata doesn’t has any space to store input alphabets. |

6. | It gives acceptance of input alphabhets by going up to empty stack and final states. | It accepts the input alphabets by going up to final states. |

## Recommended Posts:

- Construct Pushdown automata for L = {0
^{n}1^{m}2^{m}3^{n}| 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} - 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} - Introduction of Pushdown Automata
- Construct Pushdown Automata for given languages
- Detailed Study of PushDown Automata
- Pushdown Automata Acceptance by Final State
- Construct Pushdown Automata for all length palindrome
- Introduction of Finite Automata
- Finite Automata with Output (Set 5)
- Compound Finite Automata (FA)
- Finite Automata with Output (Set 11)
- Finite Automata with Output (Set 6)

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.