COSC/MATH 4P61 - Theory of Computation

Example

Substitution Simplified
R11( 0 )  1 R11(1)   1  (  1)(  1)* (  1) 1*
R12( 0 ) 0 R12(1) 0  (  1)(  1)* 0 1*0
(0)
R21 Ø (1)
R21 Ø  Ø (  1)* (  1) Ø
(0)
R22   0 1 (1)
R22   0  1  Ø (  1)* 0   0 1

Substitution Simplified
R11( 2 ) 1*  1*0(  0  1)* Ø 1*
R12( 2 ) 1*0  1*0(  0  1)* (  0  1) 1*0(0  1)*
( 2)
R21 Ø  (  0  1)(  0  1)* Ø Ø
( 2)
R22   0  1  (  0  1)(  0  1)* (  0  1) (0  1)*

© M. Winter 2.1
 COSC/MATH 4P61 - Theory of Computation

Example
(0  1)*1(0  1)

© M. Winter 2.2