L1 | = | aL2 + bL4 |
L2 | = | aL1 + bL3 |
L3 | = | aL4 + bL2 |
L4 | = | aL3 + bL1 + epsilon |
L1 | = | a2L1 + abL3 + baL3 + b2L1 + b |
= | (a2 + b2)L1 + (ab + ba)L3 + b | |
L3 | = | a2L3 + abL1 + a + baL1 + b2L3 |
= | (a2 + b2)L3 + (ab + ba)L1 + a | |
= | (a2 + b2)*((ab + ba)L1 + a) | |
= | (a2 + b2)*(ab + ba)L1 + (a2 + b2)*a | |
L1 | = | (a2 + b2)L1 + (ab + ba)(a2 + b2)*(ab + ba)L1 + (ab + ba)(a2 + b2)a + b |
= | ((a2 + b2) + (ab + ba)(a2 + b2)*(ab + ba))L1 + (ab + ba)(a2 + b2)a) + b | |
= | ((a2 + b2) + (ab + ba)(a2 + b2)*(ab + ba))* ((ab + ba)(a2 + b2)a + b) |
|
This document was translated from LATEX by HEVEA.