形式语言

ddl

模式定义语言

模式是使用模式定义语言(DDL)给出的数据库整体逻辑描述,包括逻辑记录类型和记录之间的关系. 用语言书写的模式成为原模式,机器不能直接使用,必须将此摸使用机器代码表示,变为机器使用的模式,称为目标模式. 目标模式通常设计成表格形式,

diagram

图

将"线路图"(Diagram)不经过传统建筑学的形式语言"翻译"(Translation)成空间元素(Diagram-Translation-Space),而是直接地将"线路图"呈现为形式(Diagram = Space Layout),即在展场的物理空间里大量依赖的是像彩色胶带、线条、色块和数字来界定和联系展品和不同展区.

line feed

换行符

在第 2 节 "自然语言和形式语言"中提到过,C语言规定了一些转义序列(Escape Sequence),这里的\n并不表示它的字面意思,也就是说并不表示\和n这两个字符本身,而是合起来表示一个换行符(Line Feed).

nonverbal

非语言的

其中ideas包括哲学的、宗教的、社会的、政治的和经济的思想与观念;arts包括文学、音乐、美术、雕塑以及各种形式的艺术;ways of life指的是习俗、礼仪、风土人情以及各种各样的衣、食、住、行和人际关系等生活方式,它包括语言的及非语言的(nonverbal)行为.

object language

对象语言

本文仅在主张:禅之诡论(公案)能够如本文所用的"后设语言"(meta language),而赋予明显且普遍的诡论形式,这与禅师在日常对话中,用那非正式,较不明显的"对象语言"(object language)所表现的诡论是不相同.

predicate logic

谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

query language

查询语言

周旺暾表示,LINQ的目标是要从程式语言层面来解决ORM(Object Relative Mapping)与查询语言(Query Language)的问题. 微软在PDC已经展示了LINQ的可能性,除了确定可以应用在关联式资料库与XML查询以外,LINQ还保留了延伸到其他资料形式的可能性,

Louis Sullivan

路易斯.沙利文

在路易斯.沙利文(louis sullivan)提出的"形式追随功能"的现代设计教条框架中,形式的研究成为功能探究后顺便提及的"小儿科". 形式语言的研究往往停留在一种表面化的"深层"模式上,从而未能同景观概念加以很好的粘接.

telegraphic speech

电报式语言

.电报式语言(telegraphic speech) 在说出具有简单意义的两三个词时,所运用的简单语法. 儿童大约3岁时开始具有这种语言形式. .论点(thesis)对问题提出的某种答案. .扩展不足的错误(underextension error) 对单词的使用过于局限,

formal denotational semantics

形式标志语意

形式定义 formal definition | 形式标志语意 formal denotational semantics | 形式描述语言 formal description language

Anopheles candidiensis：日月潭疟蚊

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

Gnome Milnes:GNOME：下的扫雷

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