Gödel numbering
ゲーデル数化とは、このように文字列に数字を対応させる事を指す。