Call a regular expression star-free if it does not contain any star operations. Then, let EQ SFREX
Question:
Call a regular expression star-free if it does not contain any star operations. Then, let EQSF−REX = {〈R, S〉| R and S are equivalent star-free regular expressions}. Show that EQSF−REX is in coNP. Why does your argument fail for general regular expressions?
Fantastic news! We've Found the answer you've been seeking!
Step by Step Answer:
Related Book For
Question Posted: