- Trending Categories
- Data Structure
- Networking
- RDBMS
- Operating System
- Java
- MS Excel
- iOS
- HTML
- CSS
- Android
- Python
- C Programming
- C++
- C#
- MongoDB
- MySQL
- Javascript
- PHP
- Physics
- Chemistry
- Biology
- Mathematics
- English
- Economics
- Psychology
- Social Studies
- Fashion Studies
- Legal Studies

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

# Construct Pushdown Automata for all length palindromes

L = {ww’ | wcw’, w={0, 1}*} where w’ is the reverse of w.

This is the language of all palindromes, both odd and even over the alphabet {0,1}.

For the construction of all length palindromes, let us use the Non-deterministic push down automata (NPDA).

To construct the wcw’ we need to check if the string is of odd length and if reaches the middle element ‘c’ then process it and move to the next state without making any change in stack.

## Example

Given string is 1 1 0 0 1 1 1 1 0 0 1 1

Result − ACCEPTED

Given string is: 1 0 1 0 1 0 1 0 1

Result − ACCEPTED

The transition diagram is as follows−

**Step 1** − On receiving 0 or 1, push the elements on top of stack and check if input string is of even length then whether it reach to second half of input string or not,

Suppose, if the input string is of odd length then check whether it reaches the middle element or not.

**Step 2** − If input string is of even length and reach to last element of first half of input string, then push that element on top of stack and make an epsilon move to next state or Suppose, if the input string is of odd length then on receiving an element ‘c’, move to the next state without making any change in stack.

**Step 3** − On receiving an element, check if symbol scanned if symbol scanned is ‘0’ and top of stack also contain ‘0’ or ‘1’ and top of stack also contain ‘1’ then pop the element from top of stack else move to dead state.

Repeat step 3 until the string becomes empty.

**Step 4** − Check if the symbol scanned is ‘$’ and the stack does not contain any element then move to final state or else move to dead state.

- Related Articles
- Construct Pushdown automata for L = {0n1m2m3n | m,n = 0} in C++
- Construct Pushdown automata for L = {0n1m2(n+m) | m,n = 0} in C++
- Construct Pushdown automata for L = {0(n+m)1m2n | m, n = 0} in C++
- Construct Pushdown automata for L = {0m1(n+m)2n | m,n = 0} in C++
- Construct Pushdown automata for L = {a(2*m)c(4*n)dnbm | m,n = 0} in C++
- Construct a TM that accepts even-length palindromes over the alphabet {0,1}?
- Construct RE for given finite automata with Arden’s theorem
- Construct the minimum DFA for any given finite automata.
- Construct a Finite Automata for the regular expression ((a+b)(a+b))*.
- Checking an array for palindromes - JavaScript
- C++ program for Finite Automata algorithm for Pattern Searching
- Program to print all palindromes in a given range in C++
- Explain the method for constructing Minimum Finite State Automata.
- Compare Push down automata and Linear bounded automata
- Super Palindromes in C++