文字列書き換え系
決定性の文字列書き換えに基づいた計算モデルの例として、マルコフアルゴリズム、各種形式文法、L-system などがある。L-system はカントール集合やメンガーのスポンジといったある種のフラクタルの生成に適している。