形式语言

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 (昆腾计算)、

Anopheles candidiensis：日月潭疟蚊

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

Gnome Milnes:GNOME：下的扫雷

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