Construct a PDA for language L = {0n 1m2m3n | n>=1, m>=1}

A push down automata (PDA) can be formally described as seven tuples

(Q, Σ,S, δ,q0,I,F)

Where,

• Q is finite number of states
• Σ is input alphabet
• S is stack symbol
• Δ is the transition function: QX(Σ∪{e})XSXQ
• q0 is the initial state (q0 belongs to Q)
• I is the initial state top symbol
• F is a set of accepting states(F belongs to Q)

Problem

Construct PDA for 0ⁿ1^m2^m3ⁿ where n,m≥1.

Solution

So, the strings which are generated by the given language are −

L={0123,011223,001233….}

The number of 1’s and 3’s are same and number of 2’s and 1’s are same

Construction of PDA for given problem

The PDA is as follows −

Explanation

Step 1 − First 0’s are pushed onto the stack.

Step 2 − Next 1’s are pushed into the stack.

Step 3 − For every 2 as input a 1 is popped out of stack.

Step 4 − If some 2’s are still left and top of stack is a 0 then string is not accepted by the PDA.

Step 5 − If 2’s are finished and top of stack is a 0 then for every 3 as input equal number of 0’s are popped out of stack.

Step 6 − If the string is finished and the stack is empty then the string is accepted by the PDA. Otherwise, the string is not accepted.

Bhanu Priya

Updated on 15-Jun-2021 15:01:45

• Related Questions & Answers
• Construct PDA for L = {0n1m2(n+m) | m,n >=1}
• Construct PDA for accepting L = {anb(2n) | n>=1} U {anbn | n>=1}
• Construct a Turing Machine for language L = {0n1n2n | n≥1}
• Construct Turing machine for L = {an bm a(n+m) - n,m≥1} in C++
• Construct Deterministic PDA for a^n b^n where n>=1
• Construct DPDA for a(n+m)bmcn n,m≥1 in TOC
• Construct DPDA for anbmc(n+m) n,m≥1 in TOC
• Construct a Turing Machine for L = {a^n b^n | n>=1}
• Construct ∈-NFA of Regular Language L = 0(0+1)*1
• Construct a Turing Machine for language L = {wwr | w ∈ {0, 1}}
• Construct DPDA for anbncm where, n,m≥1 in TOC
• Construct Pushdown automata for L = {0n1m2(n+m) | m,n = 0} in C++
• Construct ∈-NFA of Regular Language L = (00)*1(11)*
• Design NPDA for accepting the language L = {am b(2m) | m>=1}
• Construct Pushdown automata for L = {0(n+m)1m2n | m, n = 0} in C++