REGULAR EQUATIONS
 Assume that R, Q and P are sets such that P does not contain the string of length zero, and R is defined by
R = Q + RP
We wish to show that
R = QP*
We first show that QP* is contained in R. By definition,
QP* = Q + QP*P = Q(e+PP*) = QP*
Hence QP* is a solution, but not necessarily the only solution.

 To prove uniqueness, we show that R is contained in QP*. By definition,

R = Q+RP = Q+(Q+RP)P
= Q+QP+RP2 = Q+QP+(Q+RP)P^2
= Q+QP+QP^2+RP^3
...
= Q(e+P+P^2+ ... +P^i)+RP^(i+1), for all i>=0
Choose any W in R, where the length of W is equal to k. Then, from above,
R = Q(e+P+P^2+ ... +P^k)+RP^(k+1)
but, since P does not contain the string of length zero, W is not in RP^(k+1). But then W is in
Q(e+P+P^2+ ... +P^k) and hence W is in QP*.
We use the above to solve simultaneous regular equations. For example, we can associate regular expressions with finite state automata as follows

Hence,
A = B10* + 0*

B = B10*1 + B0 + 0*1  

and therefore
B = 0*1(10*1 + 0)*  
Note: This technique fails if there are lambda transitions.