形式语言与自动机理论的英文

• formal language and automata theory

• "形式"英文翻译    form; shape; layout; modalit ...
• "语言"英文翻译    language
• "与"英文翻译    take part in; participate in
• "自动"英文翻译    voluntarily; of one's own ac ...
• "机理"英文翻译    mechanisation; mechanization ...
• "论"英文翻译    The Analects of Confucius
• "形式语言与自动机" 英文翻译 :    formal languages and automata
• "自动机和形式语言" 英文翻译 :    automata and formal language
• "形式语言理论" 英文翻译 :    formal language theory
• "自动机理论" 英文翻译 :    automata theory; automate theory; automaton theory; theory of automata
• "抽象自动机理论" 英文翻译 :    abstract automata theory
• "细胞自动机理论" 英文翻译 :    cellular automaton theory
• "有限自动机理论" 英文翻译 :    finite automaton theory
• "无形式语言" 英文翻译 :    formless language
• "形式语言" 英文翻译 :    formal languages; formale sprache formal language
• "形式语言学" 英文翻译 :    formal linguistics
• "多维形式语言" 英文翻译 :    multidimensional formal language
• "形式语言定义" 英文翻译 :    formal language definition
• "形式语言加工" 英文翻译 :    formal language processing
• "形式语言文法" 英文翻译 :    formal language grammar
• "形式语义语言" 英文翻译 :    formalsemantic language; fsl formal semantic language
• "自由形式语言" 英文翻译 :    free-form language
• "广义有限自动机理论" 英文翻译 :    generalized finite automaton theory
• "动机理论" 英文翻译 :    theories of motivation; theory of motivation
• "形式语言加工程序" 英文翻译 :    formal language processor

• The paper formally defines the concept of electronic contract and their goals , obligations , bindings and non - repudiatable proofs by the formal language and automata theory . by making the obligations and proofs work together , the partners are enforced to achieve the business goals
  本文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义，使责任和证据相互配合，迫使达到商业目标。