9
Containment
•
RE(a?, (+a)*)
in PTIME
[1]
•
RE(a,
S
,
S
*)
in PTIME [17]
•
•
RE(a, a*)
or
RE(a, a?)
coNP hard
–
WOW !
–
•
Others in the paper