网站首页 词典首页
一种极为严格和抽象的符号语言。
有两个构成要素：第一，初始符号，它规定在某个形式语言中，只出现这些符号，不出现其他符号；第二，形成规则。它规定在由初始符号所构成的任意的符号串中，哪些是本语言中的公式，哪些不是。
形式语言中的符号及其所构成的公式，自身不具有任何含义。通过解释，可赋予意义；通过不同的解释，可赋予不同的意义。
(参见《形式化方法》)。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。