Exercise 15:

Uniquely-accepting PDA for {aibjckdi=j}{aibjckej=k}\{ 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 aibjckda^i b^j c^k d with the same amount of aa’s and bb’s, and of the form aibjckea^i b^j c^k e with the same amount of bb’s and cc’s.
Authors: Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.