日本語処理
日本語処理に関しては、「長尾の法則」他いくつか知られているが、根幹的・基幹的なものとして数学基礎論の島内剛一による「島内式ローマ字かな変換」がある。
すなわち、
[文法属性A] - {"パターンマッチング文字列X"|"変換後の文字列Y"} - [文法属性B];
といった行の並びによって、文字列に対するパターンマッチングによって文字列の変換を行うという手法である。「sa・si・su・se・so」と「shi」、「ta・ti・tu・te・to」と「chi・tsu」の両方をサポートするための記述の面倒臭さはあるが、変換精度は高い。 ただし、変換結果としてのデータ構造はPERTにおける「ネットワーク図」(いわゆる、束 (束論)と位相同型な半順序構造と位相同型なデータ構造)になるため、そうしたタイプのデータ構造を扱えるプログラマが稀少であるという問題がある。