1
$\begingroup$

I generally use state removal method to convert DFA to regular expressions. But I want to try other methods like using algebraic methods and arden's rule.

How to solve a DFA with multiple final states using algebraic method? I refered this link https://cs.stackexchange.com/questions/2016/how-to-convert-finite-automata-to-regular-expressions and arrived at this solution which I think is wrong since a can be followed by only a or c not b.

DFA

solution

I used state removal method and arrived at below regular expression which seems to be correct as the language won't contain ab.

state removal method

$\endgroup$

1 Answer 1

1
$\begingroup$

Your equations are wrong; your solution works for the reversed arrows. You should be solving the following system: $$ q_0 = (b+c)q_0 + aq_1 + \epsilon \\ q_1 = cq_0 + aq_1 + \epsilon $$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.