Answer to Question #85965 in Algorithms for mark

Question

Using JFLAP, create a PDA (pushdown automata) for the following two language(s):

L = {a^n b a^n | n > 0}
both are seperate
L = {a^i b^j c^k | i = j or i=k, i, j, k > 0}

Answer 1

1)A->aAa|B

B->aba

2)S->aPc|QC

P->aPc|B

B->Bb|b

Q->aQb|ab

C->Cc|c