形式语言

ellipsis

省略

一、引言 省略(ellipsis)是语言中一种比较常见的现象,对英汉两种语言中的省略形式进行研究,可以揭示两种语言在语篇形式和语篇内容上的异同,对于丰富普通语言学理论、促进我国的英语教学、研究英汉互译规律等有着重要的意义.

errors

差错

学生错误可分为三类,第一类差错(errors)是不符合语地规则的语言形式,反映学习者的语言知识和能力问题;第二类错误(mistakes)是指不符合语境的语言形式,反映学习者的语言运用问题;第三类差误(slips 和lapses)是指口误或笔误,

surrealism

超现实主义

"立体主义""超现实主义"(Surrealism)的形式语言如锯齿线、钢琴线、肾形、阿米巴曲线被他结合形成简洁流动的平面. 结合花园中质感的对比,运用木板铺装的平台和新物质,如波状石棉瓦等,形成了一种新的风格,比起所有这以前的设计,

surrealism

现实主义

他将"立体主义"(Cubism)、"超现实主义"(Surrealism)的形式语言,如锯齿线、钢琴线、肾形、阿米巴曲线结合形成简洁流动的平面,通过花园中质感的对比,运用木板铺装的平台和新物质,如波状石棉瓦等,创造了一种新的风格.

Turing Test

图灵实验

图灵机 Turing machine | 图灵实验 Turing test | 形式语言 formal language

Formel formula

公式

formale Sprache formal language 形式语言 | Formel formula 公式 | Fortsetzungsmethode continuation method 连续法

semioscillation

半[周期]振荡

"semi-orthogonal ","半正交的" | "semioscillation ","半[周期]振荡" | "semiotics ","符号学,符号语言学,形式语言理论"

forking

创建子进程

文件夹 Folder | 创建子进程 Forking | 形式语言 Formal language

Formal Logics

形式逻辑

行政管理学 Administration Science | 形式逻辑 Formal Logics | 形式语言与自动机 Formal Languages and Automata

type theory

(类理论)

? Mathematical logic and Formal languages(数理逻辑和形式语言)、 | ? Type theory(类理论)、 | ? Quantum computing (昆腾计算)、

Apportioned Effort：分摊努力

Applied Direct Costs 实际直接成本 | Apportioned Effort 分摊努力 | Apportioned Task 分摊任务

tussah silk fabric：柞丝绸

tussah silk carpet 柞丝毯 | tussah silk fabric 柞丝绸 | tussah silk fancy yarn 柞粗纺丝