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

In the below diagram which solution is correct and why ?

asked in Theory of Computation by Active (1.4k points) | 41 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 Loyal (4.1k 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

29,167 questions
36,992 answers
92,220 comments
34,837 users