Can I use a PDA that instead of telling me it accepts a string it will tell me it's reject it?
what I mean is that I want to build a PDA, that when it gets to his acceptnes state it means the string is not in language, but if the string ends and not gets to the dollar sign = not getting to the accepting state so it does in language?
If I can do this can i define it like that
if u gets to the end of stack than u r rejected? instead of accepting