怪，注定会追上他们。
王崎除了参与基派的日常讨论之外，就泡在毓族聚居地那里，偶尔也带陈由嘉一起过去。王崎打算将“实践”的这一块交给陈由嘉处理——包括创造新语言之类的。
而他则是专注于理论。
虽说算器的语言和自然语言根本不相同。就比如说，自然语言之中，最有趣的语法是上下文相关语言的语法，而算器语言之中，最有用的却是上下文无关语言的语法。但是，这两者终归都是“语言”——并且在地球，这一门理论，也算是计算机科学之中发展得比较好的一支。
陈由嘉足够胜任这一部分。
而他在做这些的同时，也在着手寻找另一个前世只是听说过的东西“字问题”——判定任何两个给定的词语，是否可以通过使用一个特定语法中的产生，而互相变成对方。
这个问题与函数、集合都有联系。这是语言学与纯粹数学的接合点。
比如说，许多代数结构以产生的形式自然地表达了自身——比如，群与半群。
这个“表达”似乎就像我们传达着一个语言学的概念。
半群是群的弱形式，对半群中的每一个元素而言，求它的逆存在是不可行的。而地球的数学