排序方式: 共有72条查询结果,搜索用时 0 毫秒
11.
稠密正规语言的S.Y猜想的一些等价刻划 总被引:1,自引:0,他引:1
张姗梅 《山西师范大学学报:自然科学版》2000,14(4):5-8
一个语言称为正规的如果它可被一台有限自动机识别,一个语言称为稠密的如果每个字都是该语言中某个字的一个小字,一个非空字称为本原的,如果此字不是其他任一字的幂,否则称此非空字为非本原字,Shyr和Yu在[3]中给出如下猜想:每个稠密正规语言都包含一个非本原字,如果能给出S.Y猜想在半群理论及码论中的等价陈述,则可把稠密正规语言的问题归结为半群理论及码论中的问题,从而为解决S.Y猜想提供了更多的途径。 相似文献
12.
泰山风景油画既有显著的地域特点,又有中国风景油画的时代特征与整体趋势。泰山风景油画不仅需要实践,而且还要从理论上建立坚实的支撑,才能取得更高的成就。本文尝试从人与自然的关系、中国文化的思想渊源及中国风景油画这个大背景入手,从观念表达、形式语言、地域性和个性风格等方面对泰山风景油画的现状与发展进行初步的探讨。 相似文献
13.
自动机和形式语言结构的理论研究 总被引:2,自引:0,他引:2
利用半群代数理论进一步讨论了自动机和形式语言的理论结构.首先构造了一个简单的有穷自动机的么半群,用代数理论分析了其性质,并推广到非确定性有穷自动机的情况.然后对字母表关于连接运算构成的么半群的性质作了进一步探讨,并给出了二进制串生成的半环,及研究了它的结构理论。 相似文献
14.
选取云冈第18窟窟壁具有典型性代表的小型造像群,立足艺术学的学科视角与视觉心理学的研究方法,分析造像的形式语言与构图的视觉心理平衡等问题,以期对第18窟窟壁小型造像在考古学与视觉文化层面的共认之处,进行全新的理念分析与意义解读。与此同时,通过阐释图像的形式语言特征,运用多元学科交互比较的方法研究艺术问题,试图为造像艺术及相关视觉艺术的作品分析提供一定的参照依据。 相似文献
15.
王太忠 《西昌学院学报(自然科学版)》2012,26(3):39-42,46
形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范. 相似文献
16.
本论文在设计形式语言的理论基础上,继续深入探究设计师设计词汇的具体运用的特点和规律,并着重说明了设计词汇和符号之间的关系,使设计师在利用设计语言的规律在进行设计的时候,能够更好的把握设计语言,构建更完整更连贯的语法体系。 相似文献
17.
18.
王益 《苏州大学学报(医学版)》1999,15(4):15-21
本文以形式语言和自动机理论为工具,研究一般的双峰映射和Lorenz映射生成的语言的复杂性,证明了语言为正规的充要条件是映射的揉序列均为终结周期. 相似文献
19.
本文主要论述了当代中国工笔画的形式语言,应该在观照传统把握传统的基础上,同时接纳时代大潮的浸淫,对于传统语言形式的演进解构和再造。通过艺术家的个性化探索和实验,来完成新的形式语言的面貌。 相似文献
20.
通过对面向对象的角度理解实现软件的形式语言,可建立软件结构的对象模型,文章描述了自动建立软件结构对象模型的方法和过程。最后,结合在软件分析中的应用,讨论了该模型的实现及其与软件分析工具的结合。 相似文献