$(a \lor b) a a^*(a \lor a a^*b) \lor (a \lor b)aa^*aa^*$ is wrong?

34 Views Asked by At

enter image description here enter image description here enter image description here enter image description here enter image description here

Here is the non-deterministic finite automaton. I want to find the reguluar expression related to this diagram. I found $(a \lor b) a a^*(a \lor a a^*b) \lor (a \lor b)aa^*aa^*$, but it seems my answer is wrong. Where am I making an error?

1

There are 1 best solutions below

0
On

$(a \cup b) (a \ (a \cup b)) ^* aa^*\{b \ (a \cup b) (a \ (a \cup b)) ^* aa^*\}^*$