言葉の論理的な構造を代数的に扱えば、既存の代数学による暗号の構成が言語理論にも適用可能かもしれない。でもそれだけだと既存の暗号とあまり変わらないので、決定不可能性を使うことになる。主に、関数記号を取り除いて決定可能な論理構造に変換することでトラップドアを構成したりできるだろうか。