Excalidraw Data
Text Elements
q1
q2
q3
b,a → \e
q4
\e,$→\e
\e,\e→$
\e,\e→\e
a,\e→a
\e,\e→\e
q5
q6
\e,\e→\e
b,\e→\e
c,a→\e
c,\e→\e
q7
\e,$→\e
top corrospond to i=j bottom i=k
Input: aabbccc
what I took away: generate NFA type graph. Create sample string (input below) go thru till die
The bottom copy always dies for bottom part,
- we always reject inp frm PDA
- bottom part esentially outputs the a^i b^j c
b/c 1 of 2 branches will accept, eventualyl will accept.
Embedded Files
8d809691ffa6a72362d832fa421eb4a196148a5b: Pasted Image 20251028123443_335.png
aef61d782dfacc9b9f27ed72c7fc4626b62ddff3: Pasted Image 20251028124838_831.png
