符号理論
主要な符号はすでに発見され, かつ符号の重み多項式, 重み分布も多くは把握されているが, チョムスキーの言語理論が認知機能の数理構造化を念頭に形式化されたがその後もプログラム言語論, 本理論との関係が見出され, 正規表現や自由言語認識アルゴリズムの応用が系列解析の研究に役立つ例など, 分野横断的な発展が今なお続いている。ビット列全体は多重集合として表現されることがあり, このことからも素朴な有限集合に対する数学的操作の扱いが要求される。計算量の改善および評価は些細なものであっても山積すると目に見えて効率化が図られる為に重要な研究指標であり、O(k^2logklogn)の冗長性(redundancy)をもつinsdel-codesがO(klogn)に高速化された例などが高く評価される傾向にある。また符号化率という指標も存在し, これは1に漸近するほど良いとされるが, (計算量のオーダーに注意して)1-Θ(εlog(1/ε))の符号化率を有するedit-eccが必ず存在することの数学証明を書き下す, あるいはそのような符号を実例してみせるといった研究方針も重要である。