形式语言

基于形式语言理论的ActiveXML重写算法

Active XML Rewriting Algorithm Based on Formal Language Theory

建筑形式语言的逻辑&以ReadyHouse为例

The Logic of Formal Language of Building & the Analysis of Ready House

Petri网与形式语言自动机

The Petri-Net and the Automat of the Formal Language

本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。

The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory .

XML的发展，引发了人们对于文档和形式语言之间关系的研究，树自动机理论重新引起了研究者们的高度重视。

The advent of XML initiated a symbiosis between document research and formal languages . This symbiosis resulted in the development of unranked tree automata .

两种形式语言：RSL与Z的分析比较

Analysis and comparison for two formal methods : rsl and Z

本文综述了Petri网与形式语言自动机的关系及Petri网语言的性质。

The article surveys the relation between Petri-net and the automat of the formal language and the characters of Petri-net language .

讨论基于自动机/形式语言模型的离散事件系统（DES）的可测性问题。

Detectability of Discrete Event Systems ( DES ) based on automata / languages is studied .

采用形式语言及自动机技术描述ISDN用户/网络信令

An Analysis of Protocol for ISDN User-Network Interface Using Combination of a Formal Language and Automata Techniques

ADL专用于计算机网络，是DORIS的一种形式语言扩充。

ADL is used to specify a computer network . DORIS were extended with the formal language .

在编程中，正则表达式是用一种形式语言编写的，也称为regex或regexp。

In programming , a regular expression is written in a formal language , also known as regex or regexp .

把矩阵计算转变为围绕特定数据结构与逻辑算法的工作过程，并用相应的形式语言定义这些结构与逻辑，建立分析多时序Petri网的自动机模型。

So we change the matrix calculations to working of the special data structure and logical algorithm . According to the formula language and structure , the model of automata for multi-time Petri net can be built .

形式语言Z对经典的多级安全模型BLP模型进行了规范描述，并验证了模型的正确性，为安全模型的形式化建模提供了方法和依据。

The Z language is used to specify the classical MLS model , to testify the correctness of the model and to provide valuable method and ground for the formal specification of the security model .

反映思维论证性的逻辑基本规律是充足理由律，而且充足理由律是逻辑思维的第一位的基本规律，其形式语言表达式（形式定理）是MP规则（即分离规则）

The basic logical law of the argumentation of thinking is the law of sufficient reason . The law of sufficient reason is the first basic law of the logical thinking , and it 's formal theorem is MP rule ( i.e.the rule of detachment ) .

报告了一个基于形式语言的语法分析方法，对用DELAGES描述语言描述的族性结构文字描述部分进行分析。

A grammar analysis method , based on formal language , is introduced to analyze text description of generic structures described in DELAGES .

为了使结构化面向对象形式语言（SOFL）适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法。

To satisfy the service-oriented architecture of software for structured object-oriented formal language ( SOFL ), a new service-oriented software requirement refinement method was proposed .

建筑外部空间设计中形式语言的运用

Form Language Application in the Design of Architectural 's External Space

新技术背景下蒙古族典型民居形式语言的创新之途

An Innovation Way for Mongolian Residence Style under New Technological Background

第二部分：分析知道谓词逻辑的形式语言。

The second part analyzes the formal language of knowledge predicate logic .

山水画形式语言论

Talks on the Form of the Water and Mountains Paintings

经过历史的不断发展，绘画也有了自己特殊的形式语言。

With the history development , painting has special language .

对现代重彩绘画的理解重彩绘画形式语言的风格化发展

A comprehension of modern heavy-coloured drawing Stylistic Development of Strong Coloring Painting

形式语言理论、学习理论与演化动力学&语言进化论框架下的英语学习

EFL Learning : Formal Language Theory , Learning Theory and Evolutionary Dynamics

自动机及形式语言理论在网络分析中的应用

The applications of automata and languages theory in network analysis

形式语言的美感首先来自于构图的处理上。

The aesthetic feeling of form language first comes the composition processing .

形式语言对于架上绘画具有显而易见的重要性。

Formal language for easel painting has obvious importance .

材质与精神&试论综合绘画媒材的形式语言

Material and Spirit & Form Language of Comprehensive Painting

雕塑艺术形式语言之我见

My Opinion on the Form Language of Sculpture Art

对建筑形式语言逻辑问题的思考

A Thinking about Logistic Problem of Architectural Formal Language

当代中国油画中形式语言的平面化倾向探究

A Study on the Superficial Tendency of Formal Language in Chinese Contemporary Oil Painting