Free Groups in Lindenmayer Systems
暂无分享,去创建一个
Locally catenative equations are defined in the free group. It is shown that if the free group generated by a DOL sequence is finitely generated then there exists a locally catenative equation in the free group which defines the DOL sequence. An algorithm is given which finds the generators of the free group if it is finitely generated.
[1] M. Hall. The Theory Of Groups , 1959 .
[2] P. Johansen. An algebraic normal form for regular events , 1972 .