Arden's Theorem

Theorem

• For Regex $P,Q$ over Alphabet $\Sigma$
• If $P$ does not contain $ϵ$
• Then, $R=Q+RP$ has unique solution $R=Q{P}^{\ast }$