D 2013-10-29T23:39:18.916
J icomment I\sexperimented\swith\smodifying\sthe\scode\sto\ssuppress\spullback/pushfwd\swhen\sthere's\sa\scircular\sloop\sof\sconstraints\sinvolving\sthe\starget\sstate.\s\sWhile\sthis\swasn't\shard\sto\scode,\sit\sturns\sout\snot\sto\swork\sat\sall,\sbecause\sthe\sproblem\scase\sthen\sends\sup\shitting\sthe\sassert(NOTREACHED)\sin\scompact().\s\sSo\smy\sfear\sthat\sthe\spullback\sprocessing\sis\snecessary\swas\scorrect:\snot\sonly\sthe\sregex\sexecutor,\sbut\seven\sthe\sdata\srepresentation\sused\sfor\sCNFAs,\sdepend\son\sthe\sassumption\sthat\spullback/pushfwd\scan\seliminate\s*every*\snon-LACON\sconstraint\sarc.\r\n\r\nI\sdon't\sknow\swhether\sthis\swas\sa\sfundamental\soversight\son\sHenry\sSpencer's\spart,\sor\swhether\sthis\sassumption\sis\sreally\sOK\sbut\sthere's\ssome\sbug\sin\sthe\sway\spullback/pushfwd\soperate.\s\sIn\sany\scase,\sI'm\sclueless\sat\sthe\smoment\sabout\show\swe\smight\sfix\sthis.
J login tgl
J mimetype text/plain
J username tgl
K 8f245009b0bde00454c3cecfef1d230596f78b51
U tgl
Z 01318026dfd831a9430bf217f561b085
