Question

A^m b^n c^n d^m
n≥0,m≥1

Answer 1

Answer:

NPDA for accepting the language L = {ambnc(m+n) | m,n ≥ 1} ... The count of a's, b's and c's is maintained by the stack.