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  book-img-for-question
Question Posted: