Exercise 15 | RACSO

Exercise _‹15_›:

Uniquely-accepting PDA for

\{ a^i b^j c^k d \mid i=j \} \cup \{a^i b^j c^k e\mid j=k \}

Write a uniquely-accepting PDA (which cannot be deterministic) recognizing the words of the form

a^i b^j c^k d

with the same amount of

a

’s and

b

’s, and of the form

a^i b^j c^k e

with the same amount of

b

’s and

c

’s.

Authors: Guillem Godoy / Documentation: