查询词典 formal language

formal language：形式语言

所以这已经超出了"形式语言"(formal language)和"自然语言"(natural language)的问题. 更精微的问题应当是:添加多少逻辑的粘合剂才能解释自然语言是如何起作用的. 这似乎也是逻辑与语言学之间结合的关键. 问:这样看来,

formal language：正规语言

就像是目前资讯界把语言分成正规语言(Formal Language)与自然语言(Natural Language),前者是说给电脑听的,后者是说给人听的. 这两者的认知结构不同,所以有不同的语法. 而且,基本上"经纬度"、"座标"或"街道"难道是不同的"位置概念"(the Concept of the Position)吗?

formal language：形式化语言

正式制度:formal institutions | 形式化语言:formal language | 形式化分析:formal analysis

formal language：第二世界

第一世界 second world | 第二世界 formal language | 形式语言 simplicity

formal language theory：形式语言理论

[1]有关正则表达式和巴克斯-诺尔范式的介绍以及他们是如何精确定义程序的,参见形式语言理论(formal language theory)的相关知识. [5]对于编译器(或解释器)来说,实现多态并没有看起来那样直接,它需要使用一个叫做动态绑定(dynamic binding)的技术才能实现多态

formal language processor：形式语言处理机

形式语言文法 formal language grammar | 形式语言处理机 formal language processor | 形式语言理论 formal language theory

formal language processor：形式语言加工程序

formal language processing 形式语言加工 | formal language processor 形式语言加工程序 | formal language theory 形式语言理论

formal language grammar：形式语言文法

formal language 形式语言 | formal language grammar 形式语言文法 | formal language processing 形式语言加工

formal language processing：形式语言加工

formal language grammar 形式语言文法 | formal language processing 形式语言加工 | formal language processor 形式语言加工程序

multidimensional formal language：多维形式语言

多维表式 multi-dimensional expression | 多维形式语言 multidimensional formal language | 多维语言 multidimensional language

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;