In order to solve multiformity of express method by natural language, in this dissertation we collect a mass of words about SNL language and specification, create a multilingual word corpus.

• 针对自然语言表示的多样性问题，本文收集了用自然语言描述算法规约的相关词语，创建了一个自然语言-算法规约双语语料库。