形式语言

formal derivative

形式导数

formal 形式的 | formal derivative 形式导数 | formal language 形式语言

formal language

形式语言

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

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

formless language

无形式语言

forming 形成 | formless language 无形式语言 | forms of moral feeling 道德情感体验形式

Langage formel

形式语言

无矛盾律 Loi de non-contradiction | 形式语言 Langage formel | 非形式逻辑 non-formal logic

Anopheles candidiensis：日月潭疟蚊

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

Gnome Milnes:GNOME：下的扫雷

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