The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+1 vote

In the below diagram which solution is correct and why ?

asked in Theory of Computation by Active (2.2k points) | 49 views

1 Answer

0 votes

first solution is correct for the given language.

In second solution, after getting equal no. of a's and b's, you can able to put only one 'c' .

In general second solution is accepting = {a^n b^n c d | n>0}

answered by Boss (7.4k points)
Hi Akash, I think if we add on emore transition to Solution 2 (i.e. c,c/cc) to state 2 then both the solutions are correct. And i will go with 2nd one as it will be minimal PDA.

Well both the solutions will be correct after adding this transition. What do you think?
Yes, It was a real confusion and i also got confused while solving .

@habibkhan plz give ur views .

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

33,712 questions
40,256 answers
38,885 users