形式语言的Schreier描述系统

形式语言的描述问题,是形式语言研究中的一个重要课题。现有的为Chomsky所定义起来的一类形式语言,有所谓文法,自动机等描述方法。为开展形式语言代数理论的研究,我们移植群论中自由群子群的Schreier方法到语言上,建立了形式语言的Sehreier系统这一新的描述方法。 令∑为一有限集合,则我们有     

Prodinger问题与正则语言的Schreier方法

本文推广右同余引进了p.p(几乎处处)右同余的概念,利用[5]中建立的形式语言的Schreier方法,得到了正则语言的若干特性,其中,解决了Prodinger在[3]中提出的问题。     

有限群的广义扩张

给出了有限群广义扩张的概念,推广Schreier理论,并找到广义扩张函数f、α,从而给出由两个群构造一个大群的方法.     

论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

一种基于范畴论方法的形式语言模型

针对形式语言理论研究的国内外现状,建立了一种基于范畴论方法的形式语言模型,在范畴论的形式化框架内论证了该形式语言模型与其生成范畴间的内在联系,利用范畴论的素描工具结合实例对该模型进行了应用,通过分析比对说明了该模型在保持形式语言语义完整性方面的优势,为形式语言的建模理论研究提供了一种基于范畴论方法的新思路,为形式系统结构设计与形式语言理论框架的研究提供一个高效、便利的形式化理论框架.     

用反同构来研究Schreier群扩张理论

利用反同构的定义及性质,并且规定了群中的乘法,映射(x)及二元函数f,给出某些关系式,利用这些并通过反同构来证明Schreier理论,从不同的角度来研究群的扩张理论.     

并发矢量离散事件系统的状态反馈控制

以自动机为模型 ,利用形式语言讨论了并发事件存在的情况下 ,矢量离散事件系统的非确定状态反馈控制 ,对所得结论给出了证明     

机械加工自动线嵌入式故障诊断研究

基于有限状态自动机／形式语言的离散事件动态系统（DEDS）诊断理论,探讨了机械加工自动线嵌入式故障诊断技术的实现方法,同时讨论了嵌入式诊断代码生成问题．     

上下文无关语言的推导类与字结构

序言在形式语言的研究中,一般是通过讨论文法类的结构来刻画语言类的特性。那么,能否通过形式语言的字结构来研究语言类的特性,作者想作一尝试。假如各类形式语言能够具有各自特点的字结构及相应的构字方式,那么,我们就能通过判定一个语言的字来断定给定的语言的类型。这就可以为研究形式语言提供了一种简便的途径。     

形式语言文法在加密技术中的应用

描述了形式语言文法应用于对称式密码和非对称式密码2种加密体制的实现原理,并分别给出了运用形式语言文法加密的简单实例.     

关于格论中的密化定理

格论中的密化定理是群论中的Schreier定理在格中的推广。一群G的所有正常子群成一模格,故正常列的密化定理确实为格的密化定理的推论,但所有次不变群不一定成功模格,因此格的密化定理不能统一群的次不变列的密化定理.原因是模性要求过强,并非密化定理所必需。这篇短文提出一种减弱模性的方式,使格中密化定理仍然成立并使群的Schreier定理为其推论,再者群的Jordan—Hōeder定理在格中的推广不需要模性只要“半     

机械加工自动线嵌入式故障诊断研究

基于有限状态自动机／形式语言的离散事件动态系统（ＤＥＤＳ）诊断理论，探讨了机械加工自动线嵌入式诊断技术的实现方法，同时讨论了嵌入式诊断代码生成问题。     

一种形式语言代数模型

针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论...     

形式语言及其应用中的新进展

形式语言理论被广泛地认为是理论计算机科学的支柱。它主要源自数学生成语言学。此后新的专业从计算机科学、生物学、语言学或者数学中产生。在某种意义上，所有人类问题的解决能力被认为是由符号及由符号组成的结构的处理，它实际上是形式语言理论的主干。语言以它的两种基本形式存在，自然的和人工的，它是符号系统的一种特殊情况。作为一门基础学科，形式语言理论的概念和技术存在于现代研究的各种各样的理论和应用领域中，这些领域都涉及了符号的处理，例如离散数学、生物信息学、自然语言处理、模式识别、文本检索、学习、密码学、压缩等。     

递归问题的一种直观执行模型

针对递归过程的直观理解问题,提出了一种形式语言。通过该形式语言,可在对递归程序宏观仅有所了解的基础上构造出直观执行模型。实例证明,此直观执行模型能有效地使复杂递归过程具体化。     

工笔画迎来新时代的复苏

本文主要论述了当代中国工笔画的形式语言,应该在观照传统把握传统的基础上,同时接纳时代大潮的浸淫,对于传统语言形式的演进解构和再造。通过艺术家的个性化探索和实验,来完成新的形式语言的面貌。     

水墨情结——汉字文化圈中水墨形式语言在平面设计中的应用微探

水墨形式语言是汉字文化圈中平面设计师使用的一种具有一定程度代表性的特殊的形式,随着本土意识的回归,设计师们越来越多地从本土文化中汲取养分,水墨形式语言也越来越多地运用在平面设计中。汉字文化圈中的日本立足民族特色重视设计的发展;韩国也利用设计打造民族品牌,用水墨凸显韩国传统文化;香港地区重视中华文化的传承,水墨形式语言受到追捧;大陆地区也逐渐重新发掘和认识传统文化中的精粹部分。水墨形式语言作为历经考验和不断锤炼的绘画形式,水墨有其精英意识和高雅情趣,几千前来为人们所深深喜爱。在平面设计中运用水墨形式语言,是对传统艺术乃至传统文化的一种继承和发扬,使得传统文化回归于大众的视野和日常生活,有着非同寻常的意义。水墨形式语言通过现代设计作品的重新演绎,更焕发了其顽强的生命力以及独特的艺术魅力,是不可多得的具有简洁的语言形式、丰富细腻的艺术变化、深厚的民族情感、广泛的社会认同的艺术语言。     

装饰雕塑的形式语言要素探析

时代的发展和科学技术的进步,现代材料的多样化,新思想观念的不断渗入,创作者思维的不断拓展,使得装饰雕塑的形式语言更加丰富。装饰雕塑的形式语言再创造成为时代发展的必然要求。     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。