I'm trying to build a DPDA for the given grammar:
$ S to aR $
$ R to bRT | varepsilon $
$ T to cSR | varepsilon $
I first tried to simplify the grammar (by removing null and unit productions, useless and inaccessible symbols), removing the axiom $ S $ of productions (with correction generating zero and unit productions, of course). By converting it into Greibach's normal form I got myself:
$ S to a | $ aR
$ P to a | $ aR
$ R to b | bT | bR | bRT $
$ T to cP | $ cPR
I am always short of knowing how to build a DPDA from this. Along the way, I learned that DPDAs are usually set to accept an input string if and only if the entire string has been read and an end state has been reached (that the stack is empty or not).
I am aware that there is no algorithm for converting an NPDA to DPDA, even if there is a suitable DPDA for the language. I suspect that the language defined by my grammar might not be recognized by a DPDA. Yet, if that's the case, I do not know how to prove it.
What do I forget here?