Timeline for Are DCFLs closed under reversal?

8 events

when toggle format	what		by	license	comment
Jun 16, 2020 at 10:30	history	edited	CommunityBot		Commonmark migration
May 23, 2017 at 12:37	history	edited	CommunityBot		replaced http://stackoverflow.com/ with https://stackoverflow.com/
Oct 7, 2014 at 22:31	comment	added	Hendrik Jan		Did H&U overlook reversal for DCFL? They mention non-closure under union, concatenation, Kleene, morphism in Thm 10.5 see Exercise 10.4 (starred but with a solution). However, they note $\{ 0^i1^i2^j\mid i,j\} \cup \{ 0^i1^j2^j\mid i,j\}$ is not DCFL, so neither is $K = \{ 0^i1^i2^ja \mid i,j\} \cup \{ 0^i1^j2^jb\mid i,j\}$ by closure of DCFL under quotient with regular set, Thm 10.2. But the reversal of $K$ is a DCFL, the 'markers' $a$ and $b$ give away the information where to use the pushdown. [ Perhaps @babou can add this if he likes; he is the one collecting the reps here :) ]
Oct 7, 2014 at 16:56	comment	added	Patrick87		Think of it as a "finder's fee" :) I'm just mystified the system actually works well enough that you found that old post of mine. The system works! Hail SE!
Oct 7, 2014 at 14:40	comment	added	babou		This is absurd. Patrick87 provided the examples, @Raphael did half the editing work, and I get the rep. Then, we get so little for real work ... :)
Oct 7, 2014 at 14:08	history	edited	Raphael	CC BY-SA 3.0	added 454 characters in body
Oct 7, 2014 at 13:27	vote	accept	peteykun
Oct 7, 2014 at 13:22	history	answered	babou	CC BY-SA 3.0