期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
广义L系统 被引量：13
1
作者 陆汝钤 张文妍 陆汝钤 《中国科学（E辑）》 CSCD 北大核心 2002年第4期530-540,共11页
由Lindenmayer创立的L系统既是一个描述生物生长的数学模型,又是一种并发的形式语言.它的研究历来为人所重视.但是,L系统及其种种变形刻画的都是同步的并发系统.实际上,在自然界中存在着许多异步的并发现象.因此,对传统的L系统作了推广... 由Lindenmayer创立的L系统既是一个描述生物生长的数学模型,又是一种并发的形式语言.它的研究历来为人所重视.但是,L系统及其种种变形刻画的都是同步的并发系统.实际上,在自然界中存在着许多异步的并发现象.因此,对传统的L系统作了推广,提出了广义L系统的概念,证明了广义L系统不能被传统的L系统所覆盖.还划分了广义L系统的子类,证明了各子类等价的充分必要条件,并得到一个基本定理:两个GPDOL系统（一种确定型广义L系统）L[m1,m2,…,mj]和L[n1,n2,…,nk]等价,当且仅当k=j并且存在诸mi的公因子g和诸ni的公因子h,使得（?）i:mi/g=ni/h. 展开更多
关键词 广义L系统 形式语言理论 GPDOL子类 生物生长 数学模型 细胞裂变 发育生物学 并行重写系统
原文传递
《现代语言学流派》评介 被引量：2
2
作者 张敏 《语文建设》 CSSCI 北大核心 1989年第4期59-61,共3页
一20世纪在语言学史上是一个令人振奋而又使人眼花缭乱的时代。一方面,索绪尔之后的现代语言学摆脱了古老传统的重负,几十年间异军突起,成就斐然,在西方人文科学中获得了“领先科学”的美称,留下了一笔丰厚的遗产;另一方面,近20年来不... 一20世纪在语言学史上是一个令人振奋而又使人眼花缭乱的时代。一方面,索绪尔之后的现代语言学摆脱了古老传统的重负,几十年间异军突起,成就斐然,在西方人文科学中获得了“领先科学”的美称,留下了一笔丰厚的遗产;另一方面,近20年来不同的学术流派和新兴学科层见叠出,理论翻新极为迅速,让人目不暇接。人们在渴求了解、吸收现代语言学最新成果的同时,面对这种千头万绪的局面,极易感到茫然和困惑。冯志伟先生的《现代语言学流派》 展开更多
关键词 语言学流派 语言学史 描写语言学 学术流派 冯志伟 代数语言学 形式语言理论 成就斐然 转换生成语法 使人
下载PDF
一种结构化形式化说明的方法 被引量：1
3
作者 邓勇 丁峰 沈钧毅 《小型微型计算机系统》 CSCD 北大核心 2002年第6期736-738,共3页
形式化方法使用数学符号来描述系统的性质 ,它具有精确性、无二义性和一致性等优点 .这些优点使形式化方法在安全性要求很高的情况和大型系统中得到了广泛的应用 .但用形式化方法书写的系统规格说明往往是冗长而乏味的 ,为了帮助开发人... 形式化方法使用数学符号来描述系统的性质 ,它具有精确性、无二义性和一致性等优点 .这些优点使形式化方法在安全性要求很高的情况和大型系统中得到了广泛的应用 .但用形式化方法书写的系统规格说明往往是冗长而乏味的 ,为了帮助开发人员书写和理解形式化说明 ,需要一种结构化的方法来分解、组织形式化说明 ,使之具有灵活性和可管理性并具有良好的风格 . 展开更多
关键词 框架 形式语言理论 Z语言 结构化形式化说明
下载PDF
机器翻译和现代语言学、语义学 被引量：1
4
作者 郭冀明 《情报科学》 1986年第3期6-11,共6页
一、引言机器翻译是建立在语言学、数学和计算机科学这三门学科基础上的综合学科,它的研究对象是自然语言。机器翻译中的语言学问题,应成为研究的重点。我国机器翻译工作者中有人曾对形式语言理论,语言学中的公理化方法和语言模型理论... 一、引言机器翻译是建立在语言学、数学和计算机科学这三门学科基础上的综合学科,它的研究对象是自然语言。机器翻译中的语言学问题,应成为研究的重点。我国机器翻译工作者中有人曾对形式语言理论,语言学中的公理化方法和语言模型理论等方面做过一些探索,但未引起足够的重视。迄今为止,还没有一种理想的机器语言学能为自然语言的理解和表达提供一整套完整而又系统的理论和方法。国外在70年代有种观点认为:机器翻译的首要问题,与其说在于语言学理论方面,毋宁说在于技术方面。因此,与其指望语言学理论能对机器翻译有所作用,不如指望机器翻译研究对语言学理论有所贡献为好。受这种看法的影响,面向机器的语言学研究不够,加之计算机程序技术的不足,使机器翻译的质量不高。机器翻译的历史可以说是语言研究不断加深的历史,是应用语言学的发展历史。为了加深对机器翻译的认识,应简单追溯现代语言学的发展过程。 展开更多
关键词 机器翻译 语言学家 语义学 翻译研究 现代语言学 自然语言 形式语言理论 语言现象 语言学理论 语言学研究
下载PDF
广义混杂PN机 被引量：1
5
作者 蒋昌俊 叶志宝 赵明清 《小型微型计算机系统》 CSCD 北大核心 2001年第11期1386-1388,共3页
建立了广义混杂 PN机模型 ,证明上下文有关矢量文法与广义混杂 PN机模型在语言上是等价的 .这样一来 ,使得文〔4〕中的悬而未决问题得到解决 .另外 ,还进一步研究了
关键词 广义混杂PN机 形式语言理论 计算机
下载PDF
论系统复杂性的度量 被引量：1
6
作者 程宗实 《系统科学学报》 1994年第1期70-72,共3页
自wolfram S关于CA工作发表以来,人们逐步认识到除了通常理解的定态、周期和混沌三大运动形态外,还存在着一种更为复杂的运动形态.现在人们习惯于把这种运动称为复杂运动.为了度量各种运动,尤其是复杂运动,近年来提出了各种复杂性的度量... 自wolfram S关于CA工作发表以来,人们逐步认识到除了通常理解的定态、周期和混沌三大运动形态外,还存在着一种更为复杂的运动形态.现在人们习惯于把这种运动称为复杂运动.为了度量各种运动,尤其是复杂运动,近年来提出了各种复杂性的度量.关于复杂性的度量,至今尚无一明确、统一的观念.但我们相信随着这门学科的发展,最终必将对社会系统的研究带来不可估量的影响,较为明确、统一的对复杂运动的度量,也将成为可能. 展开更多
关键词 系统复杂性 线性有界自动机 定态 确定性系统 形式语言理论 有限自动机 离散系统 社会系统 下推自动机 算法复杂性
下载PDF
自然语言形式分析的奠基力作——纪念《句法结构》出版60年 被引量：1
7
作者 冯志伟 周建 《现代语文》 2019年第1期4-23,共20页
1957年,乔姆斯基《句法结构》出版,这是对结构主义的一系列基本原理提出的挑战,是自然语言形式分析的奠基力作,标志着语言学中的"乔姆斯基革命"的开始。此书着重阐述了形式语言理论和转换语法。在形式语言理论中,乔姆斯基将... 1957年,乔姆斯基《句法结构》出版,这是对结构主义的一系列基本原理提出的挑战,是自然语言形式分析的奠基力作,标志着语言学中的"乔姆斯基革命"的开始。此书着重阐述了形式语言理论和转换语法。在形式语言理论中,乔姆斯基将语言看成是一个抽象的数学系统。为了描写和解释语言现象,他论证了语法的生成能力,认为应该把语法看成是能生成无限句子的有限规则系统。在转换语法中,乔姆斯基认为,转换语法模型由直接成分层级、转换层级、语素音位层级三个层级构成。在运用转换规则时,具体的操作方式主要有调位、复写、插入、消去,转换使语法具有更强的解释力。 展开更多
关键词 乔姆斯基 《句法结构》 形式语言理论 转换语法
下载PDF
形式语言理论、学习理论与演化动力学——语言进化论框架下的英语学习
8
作者 战菊 《吉林大学社会科学学报》 CSSCI 北大核心 2007年第2期155-160,共6页
语言作为跨学科的研究题目,受到很多不同学科研究人员的关注。把语言当作一种生物现象和进化的产物,从计算语言学出发来研究语言的演化和学习规律,需要整合形式语言理论、学习理论和进化动力学方面的知识,从而重新认识和研究语言的学习... 语言作为跨学科的研究题目,受到很多不同学科研究人员的关注。把语言当作一种生物现象和进化的产物,从计算语言学出发来研究语言的演化和学习规律,需要整合形式语言理论、学习理论和进化动力学方面的知识,从而重新认识和研究语言的学习和演化规律。由此得到的语言动力学方程提供了探讨学习外语的模式,有助于探索外语学习的规律和提高外语学习效率的途径。 展开更多
关键词 形式语言理论 学习理论 语言的进化性 语言动力学
下载PDF
智能机器人系统
9
作者 田华 《机器人》 EI CSCD 北大核心 1993年第2期58-58,共1页
第一部分涉及智能机器人动作规划.在这部分,我们首次将符合机器学习研究领域的新近成果,即最擅长于获取与问题领域相关的控制知识的解释学习,应用于智能机器人动作规划。
关键词 智能机器人 机器学习 解释学习 体系结构 领域相关 递阶 上下文无关文法 模型理论 形式语言理论 搜索策略
下载PDF
形式语言及其应用中的新进展
10
作者 G．贝克·恩吉克斯（编） 胡光华 《国外科技新书评介》 2008年第12期16-16,共1页
形式语言理论被广泛地认为是理论计算机科学的支柱。它主要源自数学生成语言学。此后新的专业从计算机科学、生物学、语言学或者数学中产生。在某种意义上，所有人类问题的解决能力被认为是由符号及由符号组成的结构的处理，它实际上是... 形式语言理论被广泛地认为是理论计算机科学的支柱。它主要源自数学生成语言学。此后新的专业从计算机科学、生物学、语言学或者数学中产生。在某种意义上，所有人类问题的解决能力被认为是由符号及由符号组成的结构的处理，它实际上是形式语言理论的主干。语言以它的两种基本形式存在，自然的和人工的，它是符号系统的一种特殊情况。作为一门基础学科，形式语言理论的概念和技术存在于现代研究的各种各样的理论和应用领域中，这些领域都涉及了符号的处理，例如离散数学、生物信息学、自然语言处理、模式识别、文本检索、学习、密码学、压缩等。 展开更多
关键词 形式语言理论 应用 自然语言处理 计算机科学 符号系统 离散数学 生物信息学 基础学科
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部