形式语言

finite automaton

有限自动机

此后自动机理论日趋发展,并且与计算机的信息处理密切联系,现在,它已经用来研究时序线路构造与计算机的结构,用于形式语言,操作系统结构等计算机科学与工程的各个方面. 定义19.1 一个有限自动机(Finite automaton)定义为一个五元组:

diagonalization

对角化

而是它全面展示了计算理论中那些最引人入胜的深刻想法(idea):抽象问题(problems)的形式语言(formal languages)描述,确定性(deterministic)和非确定性(nondeterministic)的引入,对角化(diagonalization)和停机(halting)问题,

freedom of information act,FOIA

资讯自由法案

"自由","freedom" | "资讯自由法案","freedom of information act,FOIA" | "自由形式语言","free-form language"

formal language

第二世界

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

Gestalt

形式

在这一形式(Gestalt)中遇见的"那宗教改革的" 得以在布道和教义问答的语言中被传递,在书面的认信中被展示和宣告. 4)>一文全面地表达了>的论点,将基督徒的时代视为认罪的时代;借着圣餐应许[19],

Chinese Information Processing

中文信息处理技术

形式语言与自动机 formal Language and Automata | 中文信息处理技术 Chinese Information Processing | 高级面向对象方法 Advanced Object Oriented Method

model theory

模型论

科学哲学的研究表明,由波兰逻辑学家塔尔斯基于1930年代创立的"模型论"(model theory)在现代科学中占有重要地位. "模型论"是研究形式语言及其解释(模型)之间的关系的理论,从建构科学理论的方法论来看,它要比"公理论"更适合于现代科学.

third normal form

第三阶常态形式

"第三代语言","third generation language" | "第三阶常态形式","third normal form" | "三址指令","three address instruction"

formal schemata

形式图式

内容摘编:根据图式阅读理论,阅读能力由三种图式来决定,分别是:语言图式(linguistic schemata)、内容图式(content schemata)、形式图式(formal schemata).

Gestalt

形式

在这一形式(Gestalt)中遇见的"那宗教改革的" 得以在布道和教义问答的语言中被传递,在书面的认信中被展示和宣告. 4)<<巴比伦之囚>>一文全面地表达了<<为真理>>的论点,将基督徒的时代视为认罪的时代;借着圣餐应许[19],

Apportioned Effort：分摊努力

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

tussah silk fabric：柞丝绸

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