formal notation
·2,447,543篇论文数据，部分数据来源于NoteExpress
语意是一个字串，和记号很像，但是它已经是一般化了的，这样同一个词的不同形式就可以一样来处理。
A lexeme is a string, just like a token, but it has been normalized so that different forms of the same word are made alike.
youdao
应用推荐
模块上移
模块下移
不移动