Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
Suppose $L=\{a^mb^n∣m≠n\}∪{(a+b)^∗b(b+a)^*a(a+b)^∗} =\{a^mb^n|m<n\} \cup \{a^mb^n|m>n\} \cup (a+b)^*b(a+b)^*a(a+b)^*$
It is DCFL ∪ Regular, hence it should be DCFL, but not able to design DPDA, always it designed as NPDA.
Can anybody made DPDA for $L$?
$L$ is equivalent to $(a+b) ^*-\{a^nb^n\}$ which is well known DCFL, I mean $L$ is the complement of $\{a^nb^n\}.$
