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

asked Sep 1, 2017 at 14:47
$\endgroup$

1 Answer 1

2
$\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 $$

answered Sep 3, 2017 at 14:33
$\endgroup$

Your Answer

Draft saved
Draft discarded

Sign up or log in

Sign up using Google
Sign up using Email and Password

Post as a guest

Required, but never shown

Post as a guest

Required, but never shown

By clicking "Post Your Answer", you agree to our terms of service and acknowledge you have read our privacy policy.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.