|
|
|
| 词汇列表 |
| 翻译词汇 |
|
异步 asynchronization
|
|
|
|
异步 asynchronization
栈 stack
栈上托 stack pop-up
栈下推 stack pushdown
并发[性] concurrency
奇偶[性] parity
奇偶检验 parity checking, odd-even check
仿真 emulation, simulation
模拟 simulation, analogy
容错 fault-tolerance
保护 protection
安装 installation
安装 mount
封装 packaging, encapsulation
策略 strategy
决策 decision
权衡 trade-off
冗余 redundancy
调试 debug
又称“排错”，“除错”。
失效 failure
又称“失败”。
故障 fault, failure, fail
差错 error
错误 error
误差 error
误动作 malfunction
缺陷 defect
重试 retry
又称“复执”。
检验 check
又称“检查”。
检查程序 checker
纠错 error correction
出错处理 error handling
帧 frame
证实 confirm
证实 certify
资源分配 resource allocation
层次 hierarchy
复制 copy
又称“拷贝”。
副本 copy, backup copy
文字 literal, script
默认 default
对换 swapping
回送 echo
激活 enable, activate
又称“使能”。
禁止 disable, inhibition
置位 set
复位 reset
表格 table
[列]表 list
功能 function
函数 function
性能 performance
资源 resource
硬件资源 hardware resource
软件资源 software resource
管理 management
键 key
启动 start
重新启动 restart
又称“再启动”。
稳健性 robustness
又称“鲁棒性”。
包 package, packet
备份 backup
备用 standby
测量 measurement
又称“度量”。
测试 test
工作集 working set
结点 node
又称“节点”。
可重复性 repeatability
模式 pattern, schema
评审 review
审查 inspection
条件 condition
退役 retirement
网格 mesh, grid
行 row
行 line
修补 patch
验收测试 acceptance testing
验收准则 acceptance criteria
语法 grammar
句法 syntax
又称“语构”。
语境 context
又称“上下文”。
运行时间 running time
模型 model
建模 modeling
又称“造形”。
支持 support
单元 unit
单位 unit
虚拟[的] virtual
对象 object
应用 application
批 batch
客户 customer
用户 user
死锁 deadlock
设施 facility
输入 input
输出 output
目标 target
参考 reference
基准 reference
基准 benchmark
源 source
时间 time
空间 space
能行性 effectiveness
丘奇论题 Church thesis
计算 computation
图灵机 Turing machine
递归函数 recursive function
原始递归函数 primitive recursive function
特征函数 characteristic function
哥德尔配数 Godel numbering
λ演算 λ-calculus
波斯特系统 Post system
一阶逻辑 first order logic
一阶理论 first order theory
命题逻辑 propositional logic
命题演算 propositional calculus
形式系统 formal system
演绎规则 deduction rule
布尔运算 Boolean operation
布尔代数 Boolean algebra
布尔表达式 Boolean expression
三段论 syllogism
真值表 truth table
合式公式 well-formed formula
逻辑蕴涵 logical implication
析取范式 disjunctive normal form
合取范式 conjunctive normal form
演绎 deduce
假言推理 modus ponens
归约 reduce, reduction
演绎数学 deductive mathematics
数学公式 mathematical axiom
形式规则 formation rule
原子公式 atomic formula
论域 domain
前束范式 prenex normal form
代入 substitution
代入复合 composition of substitution
关系系统 relation system
勒文海姆-斯科伦定理 Lowenheim-Skolem theorem
高阶逻辑 higher order logic
二阶逻辑 second order logic
多值逻辑 multiple value logic
模糊逻辑 fuzzy logic
应用逻辑 applied logic
归结 resolution
子句 clause
基子句 ground clause
霍恩子句 Horn clause
矢列式 sequent
关系逻辑 relational logic
重写规则[系统] rewriting rule [system]
定理证明器 theorem prover
截除 cut
逻辑系统 logical system
多类逻辑 many-sorted logic
代数数据类型 algebraic data type
经典逻辑 classical logic
形式演算 formal calculus
逻辑演算 logic calculus
霍尔逻辑 Hoare logic
过程逻辑 process logic
程序设计逻辑 programming logic
连续算子 continuous operator
细胞自动机 cellular automata
程序验证器 program verifier
程序验证 program verification
符号演算 symbolic calculus
计算逻辑 computational logic
变换系统 transformation system
构造性证明 constructive proof
类型论 type theory
线性归结 linear resolution
区间时态逻辑 interval temporal logic
等式逻辑 equational logic
超归结 hyper-resolution
证明策略 proof strategy
模态 modality
模态逻辑 modal logic
因果逻辑 causal logic
直觉主义逻辑 intuitionistic logic
代数逻辑 algebraic logic
证伪 refutation
范畴分析 categorical analysis
自然推理 natural inference
二难推理 dilemma reasoning
条件逻辑 conditional logic
阈值逻辑 threshold logic
概率逻辑 probabilistic logic
埃尔布朗基 Herbrand base
归纳公理 induction axiom
二元预解式 binary resolvent
锁归结 lock resolution
归结原理 resolution principle
协调公式 consistent formula
演绎树 deduction tree
线性演绎 linear deduction
锁演绎 lock deduction
本原演绎 primitive deduction
超演绎 hyperdeduction
超预解式 hyperresolvent
无循环设置 cycle-free allocation
逻辑程序 logic program
条件项重写系统 conditional term rewriting system
分解 decomposition
谓词 predicate
谓词演算 predicate calculus
谓词逻辑 predicate logic
谓词变量 predicate variable
谓词符号 predicate symbol
符号逻辑 symbolic logic
重言式 tautology
自动机 automaton
广义序列机 generalized sequential machine
下推自动机 push-down automaton, PDA
上下文无关文法 context-free grammar, CFG
上下文无关语言 context-free language, CFL
上下文有关文法 context-sensitive grammar, CSG
上下文有关语言 context-sensitive language, CSL
无用符[号] useless symbol
无穷集 infinite set
非限制文法 unrestricted grammar
开始符号 start symbol
双向下推自动机 two-way push-down automaton
双向无穷带 two-way infinite tape
双向有穷自动机 two-way finite automaton
双栈机 two-stack machine
双带有穷自动机 two-tape finite automaton
双带图灵机 two-tape Turing machine
不可判定问题 undecidable problem
正则序 canonical order
正闭包 positive closure
正规文法 regular grammar
正则集 regular set
可计算函数 computable function
可区别状态 distinguishable state
对角化方法 diagonalization
对偶产生器 pair generator
句型 sentential form, sentence pattern
句柄 hand1e
生成式 production
生成树问题 spanning-tree prob1em
左匹配 left-matching
左线性文法 left-linear grammar
右匹配 right-matching
右句型 right sentential form
右线性文法 right-linear grammar
半图厄系统 semi-thue system
半线性集 semilinear set
多义文法 ambiguous grammar
多头图灵机 multihead Turing machine
多带图灵机 multitape Turing machine
多维图灵机 multidimensional Turing machine
闭包 closure
同态 homomorphism
有穷自动机 finite automaton
又称“有限自动机”。
有穷自动机最小化 minimization of finite automaton
有穷状态系统 finite state system
有穷性问题 finiteness problem
有穷转向下推自动机 finite-turn PDA
有限控制器 finite controller
有效过程 effective procedure
有效项 valid item
成员问题 membership problem
次动作函数 next move function
自反传递闭包 reflexive and transitive closure
完全问题 complete problem
形式语言 formal language
初始状态 initial state
词法分析器 lexical analyzer
状态 state
抽象语言族 abstract family of languages
空白符 blank
空栈 empty stack
空集 empty set
枚举 enumeration
终极符 terminal
终结状态 final state
固有多义性 inherently ambiguity
非自反性 irreflexivity
非抹除栈自动机 non-erasing stack automaton
非终极符 non-terminal
非确定型有穷自动机 non-deterministic finite automaton
非确定型图灵机 non-deterministic Turing machine
线性文法 linear grammar
线性有界自动机 linear bounded automaton
线性规划 linear programming
线性语言 linear language
细分 refinement
单一生成式 unit production
单向栈自动机 one-way stack automaton
查讫符号 checking off symbol
穿越序列 crossing sequence
带 tape
带头 tape head
带字母表 tape alphabet
带压缩 tape compression
带减少 tape reduction
带符号 tape symbol
逆代换 inverse substitution
逆同态 inverse homomorphism
标准形式下推自动机 normal form PDA
前缀 prefix
前缀性质 prefix property
泵作用引理 pumping lemma
栈自动机 stack automaton
栈字母表 stack alphabet
格局 configuration
递归可枚举语言 recursively enumerable language
递归定理 recursion theorem
递归语言 recursive language
次递归性 subrecursiveness
通用图灵机 universal Turing machine
接受状态 accepting state
确定型上下文有关语言 deterministic CSL
确定型有穷自动机 deterministic finite automaton
确定型下推自动机 deterministic pushdown automaton
确定型图灵机 deterministic Turing machine
等价关系 equivalence relation
等价问题 equivalence problem
最左派生 leftmost derivation
|
|
|
|
|
|
|
| 发表评论 好友推荐 |
|
|
|
|
|
|
|
