期刊文献+
共找到35篇文章
< 1 2 >
每页显示 20 50 100
“的”和“的”字结构 被引量:59
1
作者 石定栩 《当代语言学》 CSSCI 北大核心 2008年第4期298-307,共10页
本文讨论"的"与"的"字结构的最佳分析方式。出发点是各个成分的句法作用,以及成分之间的句法-语义关系,重点是如何正确地运用形式句法的短语结构,准确地表示"的"字结构内部的句法-语义关系。
关键词 “的”“的”字结构 形式句法 短语结构
原文传递
数目短语 被引量:50
2
作者 李艳惠 陆丙甫 《中国语文》 CSSCI 北大核心 2002年第4期326-336,共11页
本文提出"三个人"或"两个孩子"这类数量表达是歧义结构。在理解成指称性的名词短语时,其中名词是核心。在强调"多少"这个数量意义时,可以看作以数量词为核心的"数量短语"。两种解读对主语的特... 本文提出"三个人"或"两个孩子"这类数量表达是歧义结构。在理解成指称性的名词短语时,其中名词是核心。在强调"多少"这个数量意义时,可以看作以数量词为核心的"数量短语"。两种解读对主语的特指要求,代词和照应词的同标制约以及辖域关系等等都有不同反应,出现的句子环境大不相同。近年来语法论著中许多无法解释或无法简单解释的有关主语指别性的现象,用数量表达的歧义性就可以得到简单的解释。 展开更多
关键词 数目短语 汉语语法 歧义结构 形式语法 主语特指
原文传递
谈“只”与“连”的形式语义 被引量:48
3
作者 蔡维天 《中国语文》 CSSCI 北大核心 2004年第2期99-111,共13页
汉语中"只"与"连"一向都被认为是带有焦点的结构。然而当我们用 Kiss(1998)和徐烈炯(2002)提出的焦点判准来做测试的时候,却发现它们之间有不对称的现象:"只"字句能通过并列结构测试和否定结构测试;而&qu... 汉语中"只"与"连"一向都被认为是带有焦点的结构。然而当我们用 Kiss(1998)和徐烈炯(2002)提出的焦点判准来做测试的时候,却发现它们之间有不对称的现象:"只"字句能通过并列结构测试和否定结构测试;而"连"字句则不能。本文拟以 Horn(1969)对英语中only 和 even 的语义分析为出发点,来解决这个不对称的问题。就"只"字句而言,其预设为基本命题;其断言则为其基本命题之否定,并以焦点词组之补集为其范域。相较之下,"连"字句的断言才是基本命题;其预设则含有焦点词组之补集。这个差异正是不对称现象的来源。本文的研究不仅解决了"连"字句属对比焦点还是话题焦点的争议,也对强势量化词和疑问副词在"只"字句中的孤岛效应提出了合理解释。这样看来,语用的研究确实需要和句法、语义结合起来,来自语义、语用方面的材料不仅使形式分析更具有深度,也使我们对语言事实的观察更为周全。 展开更多
关键词 “只”字句 “连”字句 语法 形式语义 汉语
原文传递
功能主义与形式主义 被引量:43
4
作者 徐烈炯 《外国语》 CSSCI 北大核心 2002年第2期8-14,共7页
形式语言学与功能语言学的根本区别在于对语法自主和句法自主的看法。这一问题上不能用简单的两分法,并不是非此即彼,而是可以有各种层次,有中间立场。功能语言学家并非一概反对任何语法自主和句法自主的观点。以往两派缺少对话,如今正... 形式语言学与功能语言学的根本区别在于对语法自主和句法自主的看法。这一问题上不能用简单的两分法,并不是非此即彼,而是可以有各种层次,有中间立场。功能语言学家并非一概反对任何语法自主和句法自主的观点。以往两派缺少对话,如今正在努力消除隔阂,开始坐在一起各抒己见,相互学习。 展开更多
关键词 功能语言学 形式语言学 句法自主 语法自主 系统功能语法 比较语言学
原文传递
形式句法、象似性理论与汉语研究 被引量:15
5
作者 李亚非 《中国语文》 CSSCI 北大核心 2014年第6期521-530,575,共10页
本文考察和分析了连动式的语序以及其他句法特征,这些特征可概括为:不可违反的象似性语序;宾语共享;主语共享;象似性只发生在动词之间;具有象似性语序的动词之间不存在论元关系;动词之间的结构关系因具体语言而定。连动式把象似性放到... 本文考察和分析了连动式的语序以及其他句法特征,这些特征可概括为:不可违反的象似性语序;宾语共享;主语共享;象似性只发生在动词之间;具有象似性语序的动词之间不存在论元关系;动词之间的结构关系因具体语言而定。连动式把象似性放到造句层面来表达,既把这个功能性的语言现象强行纳入普遍语法的管辖范围,也正好触及普遍语法的薄弱之处。 展开更多
关键词 形式句法 象似性理论 普遍语法 连动结构
原文传递
乔姆斯基形式句法推导过程的变迁 被引量:14
6
作者 陈友良 《外语教学》 CSSCI 北大核心 2006年第2期44-47,共4页
推导在形式句法中是一个不可或缺的概念,形态、音系式、逻辑式都可纳入推导的框框,而推导过程是句法的核心。本文主要阐述乔姆斯基形式句法理论的各个主要发展阶段及其句法推导过程,侧重其推导过程中的几次重大变迁,试图把握乔姆斯基形... 推导在形式句法中是一个不可或缺的概念,形态、音系式、逻辑式都可纳入推导的框框,而推导过程是句法的核心。本文主要阐述乔姆斯基形式句法理论的各个主要发展阶段及其句法推导过程,侧重其推导过程中的几次重大变迁,试图把握乔姆斯基形式句法的历史进程及其发展的可能方向。 展开更多
关键词 形式句法 转换生成语法 推导
下载PDF
UML顺序图的一种形式化描述方法 被引量:8
7
作者 张姝 张广泉 《重庆师范大学学报(自然科学版)》 CAS 2007年第3期42-45,共4页
统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的... 统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。 展开更多
关键词 UML顺序图 形式化语法 形式化语义 线性时序逻辑
下载PDF
“的”不的,非常“的”——论名词组内虚词与区域限制的连动关系 被引量:10
8
作者 蔡维天 《中国语文》 CSSCI 北大核心 2015年第4期315-328,383,共14页
自朱德熙先生提出"的"字的经典分析以来,学界已尝试从各种不同的角度来延伸、演绎其洞见。本文承继朱先生这种快刀斩乱麻的科学精神,提议以各类句法测试来分割出两类截然不同的"的"字:一为引介定语的功能词,另一则... 自朱德熙先生提出"的"字的经典分析以来,学界已尝试从各种不同的角度来延伸、演绎其洞见。本文承继朱先生这种快刀斩乱麻的科学精神,提议以各类句法测试来分割出两类截然不同的"的"字:一为引介定语的功能词,另一则为附着于数量词组上的小词;并尝试将其间差异化约为形式认可能力的有无。像这样单向切入自然会有许多盲点,然则本文意旨并非要解决所有相关议题,而是希望将句法分析推到极致,以厘清形式与功能之间错综复杂的关系,增进对汉语名词组构成原则及运作机制的理解。 展开更多
关键词 形式认可 量词结构 修饰结构 汉语句法 生成语法
原文传递
语法=用法?——2003年和2005年美国语言学会主席演讲 被引量:5
9
作者 张翼 《当代语言学》 CSSCI 北大核心 2006年第2期156-164,共9页
2003年,形式句法阵营的Newmeyer针对认知语言学派对形式句法学派的批评,在美国语言学会上发表主席演讲,提出语法非用法的观点。2005年,认知语言学阵营的Bybee同样发表了主席演讲,提出语法即用法的观点,对Newmeyer进行了反驳。这场理论... 2003年,形式句法阵营的Newmeyer针对认知语言学派对形式句法学派的批评,在美国语言学会上发表主席演讲,提出语法非用法的观点。2005年,认知语言学阵营的Bybee同样发表了主席演讲,提出语法即用法的观点,对Newmeyer进行了反驳。这场理论语言学界两大流派的直接交锋值得关注。本文对双方的观点、论据、以及矛盾的焦点进行了归纳和简要的评价。 展开更多
关键词 语法用法 形式句法认 知语言学
原文传递
基于形式介入的会话含意推导:对话句法视角 被引量:5
10
作者 孙李英 《现代外语》 CSSCI 北大核心 2021年第1期13-24,共12页
以Grice为代表的传统会话含意推导极少关注语言的结构,忽略了有些含意推导与话语间结构形式的介入相关。本文基于对话句法、认知语篇及识解的主体间性等理论,为此类会话含意提出了形义一体推导模型,即形式介入>平行映射>形式意义... 以Grice为代表的传统会话含意推导极少关注语言的结构,忽略了有些含意推导与话语间结构形式的介入相关。本文基于对话句法、认知语篇及识解的主体间性等理论,为此类会话含意提出了形义一体推导模型,即形式介入>平行映射>形式意义二位一体共振>类比推理>会话含意。具体而言,话语间的形式介入带来话语间的平行映射关系,进而激活话语间形式和意义的二位一体共振。形式的共振触发和突显意义的共振,意义的共振体现于识解的共振,即交际双方通过联合调试最终达成在某一识解维度上两种识解之间的意义对比关系,在此基础上结合语境进行意义的类比推理,会话含意由此产生。形义一体推导模型为会话含意研究提供了一个新的视角,在某种程度上是对现有相关推导模式的补充。 展开更多
关键词 会话含意 形式介入 对话句法 共振 识解
原文传递
NewBee: Context-Free Grammar (CFG) of a New Programming Language for Novice Programmers
11
作者 Muhammad Aasim Qureshi Muhammad Asif Saira Anwar 《Intelligent Automation & Soft Computing》 SCIE 2023年第7期439-453,共15页
Learning programming and using programming languages are the essential aspects of computer science education.Students use programming languages to write their programs.These computer programs(students or practitioners... Learning programming and using programming languages are the essential aspects of computer science education.Students use programming languages to write their programs.These computer programs(students or practitioners written)make computers artificially intelligent and perform the tasks needed by the users.Without these programs,the computer may be visioned as a pointless machine.As the premise of writing programs is situated with specific programming languages,enormous efforts have been made to develop and create programming languages.However,each program-ming language is domain-specific and has its nuances,syntax and seman-tics,with specific pros and cons.These language-specific details,including syntax and semantics,are significant hurdles for novice programmers.Also,the instructors of introductory programming courses find these language specificities as the biggest hurdle in students learning,where more focus is on syntax than logic development and actual implementation of the program.Considering the conceptual difficulty of programming languages and novice students’struggles with the language syntax,this paper describes the design and development of a Context-Free Grammar(CFG)of a programming language for the novice,newcomers and students who do not have computer science as their major.Due to its syntax proximity to daily conversations,this paper hypothesizes that this language will be easy to use and understand by novice programmers.This paper systematically designed the language by identifying themes from various existing programming languages(e.g.,C,Python).Additionally,this paper surveyed computer science experts from industry and academia,where experts self-reported their satisfaction with the newly designed language.The results indicate that 93%of the experts reported satisfaction with the NewBee for novice,newcomer and non-Computer Sci-ence(CS)major students. 展开更多
关键词 Programming language formal language computer language language grammar simple syntax programming language novice programmer
下载PDF
一种基于规则的语言的公理语义 被引量:2
12
作者 魏振春 韩江洪 +1 位作者 陆阳 刘小平 《计算机工程与应用》 CSCD 北大核心 2008年第20期86-88,共3页
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程... 为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。 展开更多
关键词 规则 逻辑规则描述语言 公理语义 HOARE逻辑 形式语法
下载PDF
汉语关系结构的限制性研究 被引量:2
13
作者 韩景泉 周敏 《中南大学学报(社会科学版)》 CSSCI 2012年第5期212-216,共5页
目前文献中不仅对汉语关系结构是否存在限制性—非限制性区别颇有争议,而且对于这两种结构的界定也有分歧。在对现有的研究作出重新审视后,认为汉语存在限制性与非限制性关系结构,但对其界定并不能采用任何句法区别手段,而只能用句法—... 目前文献中不仅对汉语关系结构是否存在限制性—非限制性区别颇有争议,而且对于这两种结构的界定也有分歧。在对现有的研究作出重新审视后,认为汉语存在限制性与非限制性关系结构,但对其界定并不能采用任何句法区别手段,而只能用句法—语义不匹配分析法,因为这两者有相同的句法特征和生成机制,只存在语义上的区别而并没有任何显性形式句法上的差异。 展开更多
关键词 关系结构 限制性 非限制性 界定 形式句法
下载PDF
基于层次短语的汉蒙统计机器翻译研究 被引量:2
14
作者 王春荣 王斯日古楞 阿荣 《内蒙古师范大学学报(自然科学汉文版)》 CAS 北大核心 2013年第3期350-353,357,共5页
使用形式化的句法分析方法——基于层次短语的翻译模型进行汉蒙统计机器翻译研究.实验证明,基于层次短语的6元模型实验结果比基于短语的3、4、5和6元的结果都要好.进一步对基于层次短语的汉蒙统计机器翻译系统译文中的汉语未登录数词进... 使用形式化的句法分析方法——基于层次短语的翻译模型进行汉蒙统计机器翻译研究.实验证明,基于层次短语的6元模型实验结果比基于短语的3、4、5和6元的结果都要好.进一步对基于层次短语的汉蒙统计机器翻译系统译文中的汉语未登录数词进行后处理,从而提高了翻译系统性能. 展开更多
关键词 形式化句法 基于层次短语的翻译模型 汉蒙统计机器翻译 数词后处理
下载PDF
基于时序逻辑的UML2.0通信图语义研究 被引量:1
15
作者 张姝 戎玫 张广泉 《计算机工程与设计》 CSCD 北大核心 2008年第21期5601-5604,共4页
UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证。XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义。在定义UML2.0通信图的... UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证。XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义。在定义UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础。 展开更多
关键词 UML2.0 通信图 时序逻辑 形式化语法 形式化语义 XYZ/E
下载PDF
格调竹境 现代语境下的中国意象 被引量:1
16
作者 许蓁 《时代建筑》 2010年第5期76-79,共4页
格调竹境项目的设计特色在于,根据"现代中式"住宅的命题,寻找与之相对应的空间句法,并以此作为逻辑起点,推演出具有中国意象和现代性的建筑空间和形式。文章以格调竹境为例,对近期"现代中式"风格的创作经验和创新... 格调竹境项目的设计特色在于,根据"现代中式"住宅的命题,寻找与之相对应的空间句法,并以此作为逻辑起点,推演出具有中国意象和现代性的建筑空间和形式。文章以格调竹境为例,对近期"现代中式"风格的创作经验和创新思路进行品评与探究。 展开更多
关键词 现代中式 形式逻辑 现代语境 空间句法
下载PDF
量词重叠结构的推导机制与语义解释 被引量:1
17
作者 孙文统 《沈阳大学学报(社会科学版)》 2017年第3期336-339,374,共5页
量词重叠结构是汉语中一种能产性较强的结构形式,其较为常见的表层形式有"CC"式、"一CC"式和"一C一C"式三种,用以表达"周遍""大量""连绵""相继"等语法含义。汉... 量词重叠结构是汉语中一种能产性较强的结构形式,其较为常见的表层形式有"CC"式、"一CC"式和"一C一C"式三种,用以表达"周遍""大量""连绵""相继"等语法含义。汉语量词重叠结构基础生成于量名短语内部,经移位、合并、附加等句法操作形成不同的表层句法分布。量词套嵌与数词干涉形成了量词重叠不同的结构模式,生成了该结构纷繁多样的语义解释。 展开更多
关键词 量词重叠 结构模式 形式句法 推导机制 语义解释
下载PDF
从形而上学到形式句法——论彼得·埃森曼的准科学式建筑分析与设计方法
18
作者 范路 《世界建筑》 2022年第11期80-81,共2页
本文介绍了当代著名建筑理论家、建筑师、教育家彼得·埃森曼的形式理论,解读其准科学式的建筑分析与设计方法,并举例说明了他如何将形而上学式的设计意图和价值判断,转化为相对客观理性的形式句法操作。
关键词 彼得·埃森曼 形式句法 准科学式 建筑分析 设计方法
下载PDF
量词并立的结构类型及语义生成机制 被引量:1
19
作者 孙文统 《沈阳工程学院学报(社会科学版)》 2017年第3期366-371,共6页
现代汉语中存在着一类由量词并立而形成的名词性结构。这种结构原本用于同一事物在同一内容方面的计量,后来由于其在形式和语义方面逐渐固化,最终实现了自身词汇化之嬗变。根据该结构中并立量词之间结构关系的紧密程度可将其分为并列短... 现代汉语中存在着一类由量词并立而形成的名词性结构。这种结构原本用于同一事物在同一内容方面的计量,后来由于其在形式和语义方面逐渐固化,最终实现了自身词汇化之嬗变。根据该结构中并立量词之间结构关系的紧密程度可将其分为并列短语型、量词套嵌型和NP套嵌型三种。在形式句法学的理论框架下,深入研究了量词并立的结构类型,并为其句法推导模式及语义生成机制提供了一个科学的理论解释。 展开更多
关键词 量词并立 结构模式 形式句法 语义解释 生成机制
下载PDF
"好A好B"构式研究
20
作者 陈勇 张要妹 《语言研究集刊》 2022年第2期159-175,共17页
文章基于汉语语料库,对"好A好B"进行全面考察发现,形式特征上,其变项通常为单音节名、动词,或双音节名词,且有多种排序规则;句法方面,其句法功能趋于多样化;语义方面,A、B之间有丰富的语义关系,且该构式是多义构式,有较强的... 文章基于汉语语料库,对"好A好B"进行全面考察发现,形式特征上,其变项通常为单音节名、动词,或双音节名词,且有多种排序规则;句法方面,其句法功能趋于多样化;语义方面,A、B之间有丰富的语义关系,且该构式是多义构式,有较强的褒义倾向;从历时角度来看,该构式从松散到凝固,有显著的构式化过程,其构式化的诱因及机制主要有省缩、语境因素、类推、语义关联、节奏韵律、变项的泛化和谓语化等.而具体到两个子构式"好N1好N2""好VI好V2",二者既有诸多相同之处,又各有特色. 展开更多
关键词 好A好B 形式特征 句法 语义 构式化
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部