助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   pumping lemma 的翻译结果: 查询用时:0.207秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

pumping lemma
相关语句
  泵引理
     By using the Pumping Lemma,we prove that languages of A_2=www|w∈{0,1}~* and A_3=w~k|w∈{0,1}~*,k≥2,k∈N is not regular. Furthermore,we prove that the language A=uw~kv|u,w,v∈{0,1}~*,k≥2,k∈N is not regular.
     利用泵引理原理,先对A2=www|w∈{0,1}*,A3=wk|w∈{0,1}*,k≥2,k∈N是非正则语言进行了证明,在此基础上,进一步证明了A=uwkv|u,w,v∈{0,1}*,k≥2,k∈N是一类非正则语言.
短句来源
     Pumping Lemma for Regular Languages
     关于正则语言的泵引理
短句来源
     Generalized Pumping Lemma for Context-Free Languages
     上下文无关语言的广义泵引理
短句来源
     The paper introduces several generalized pumping lemmata which furnish eleganter technique than common pumping lemma for showing that certain languages are not regular.
     通常关于正则语言的泵引理,常被用来证明某些特殊的语言不是正则语言,但这种论证方法对有些非正则语言不能适用。 本文介绍几个广义的泵引理,它们不仅可解决通常的泵引理所能解决的问题,也可解决通常泵引理不能解决的问题。
短句来源
     A generalized pumping lemma is introduced. The generalized pumping lemmafurnishes eleganter technique than common pumping lemma for showing that certain lan-guages are non-context-free languages.
     通常的关于上下文无关语言的泵引理,常被用来证明某些特殊的语言不是上下文无关的语言,但这种论证方法对有些非上下文无关语言不能适用,本文介绍的广义泵引理推广了通常的泵引理,并能解决通常的泵引理所不能解决的问题,它相比于Ogden引理,未增加新的关于特指位置的概念。
短句来源
更多       
  pumping引理
     PETRI NET DESCRIPTION OF PUMPING LEMMA─A SET OF CONDITIONS FOR DETERMINING THE TYPE OF A PETRI NET LANGUAGE
     Pumping引理的Petri网描述──Petri网语言属型的一组判定条件
短句来源
     The Pumping Lemma of Petri Net Language
     Petri网语言的Pumping引理
短句来源
     The Pumping Lemma of Petri net language reflects some commonness of Petri net language and can be used to prove that some languages is not Petri net language.
     Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.
短句来源
     A Petri net language L, which is produced by a bounded Petri net, has been proved to be a regular language. So the Pumping Lemma of regular language is effective to L. But the Pumping Lemma of regular language is not applicable for any Petri net language.
     已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.
短句来源
     This article gives a Pumping Lemma of Petri net language which is proved to be effective to all Petri net languages without empty-label and the Pumping Lemma of regular languages actually is a special format of the Lemma.
     文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.
短句来源
  泵作用引理
     In this paper, the concept of type 2 expressions (2Es for short) is briefly introduced, and it is proved strictly that CFL class is precisely the language class expressed by 2Es. A new proof using 2Es to pumping lemma for CFLs is geven.
     简要介绍了二型表达式的概念,严格证明了上下文无关语言类恰是二型表达式所表达的语言类.然后,使用二型表达式对关于上下文无关语言的泵作用引理给出了一个新的证明
短句来源
查询“pumping lemma”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  pumping lemma
However the pumping lemma can be generalized, and all lattice-valued quantum automata possess the generalized pumping property.
      
We establish the pumping lemma in automata theory based on quantum logicunder certain conditions on implication, and discuss the recognizability by theproduct and union of orthomodular lattice-valued (quantum) automata.
      
A quantum pumping lemma is employed to showthat there are regular languages that are not η-quantum, 0 ≤ η >amp;lt; 1.
      
A quantum pumping lemma is employed to show that there are regular languages that are not η-quantum, 0≤η>amp;lt;1.
      
Finally we prove that the languages in ? satisfy a suitable 'pumping' lemma and that ? contains languages which are not recursively enumerable.
      
更多          


The paper introduces several generalized pumping lemmata which furnish eleganter technique than common pumping lemma for showing that certain languages are not regular.

通常关于正则语言的泵引理,常被用来证明某些特殊的语言不是正则语言,但这种论证方法对有些非正则语言不能适用。本文介绍几个广义的泵引理,它们不仅可解决通常的泵引理所能解决的问题,也可解决通常泵引理不能解决的问题。

A generalized pumping lemma is introduced.The generalized pumping lemmafurnishes eleganter technique than common pumping lemma for showing that certain lan-guages are non-context-free languages.By comparison with Ogden lemma,the generalizedpumping lemma does not add new concept about distinguished positions.

通常的关于上下文无关语言的泵引理,常被用来证明某些特殊的语言不是上下文无关的语言,但这种论证方法对有些非上下文无关语言不能适用,本文介绍的广义泵引理推广了通常的泵引理,并能解决通常的泵引理所不能解决的问题,它相比于Ogden引理,未增加新的关于特指位置的概念。有些书上把泵引理中述及的条件,误认为是某语言成为上下文无关语言的充分条件,本文指出由此而引起的错误。

Common pumping lemma for regular languages characterizes the necessary condition that a language is regular. This paper gives several necessary and sufficient conditions and common pumping lemma and generalized pumping lemma are obtained as their consequence.

通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的一个必要条件.本文通过修改这个必要条件,得到了关于正则语言的充分必要条件,又泵引理或广义泵引理所叙述的结果作为推论而得到.另外,我们叙述了几个强弱不同的充要条件,以便供不同的使用(作为必要条件来使用,应该是越强越好,但作为充分条件来使用,又应该是越弱越好).

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关pumping lemma的内容
在知识搜索中查有关pumping lemma的内容
在数字搜索中查有关pumping lemma的内容
在概念知识元中查有关pumping lemma的内容
在学术趋势中查有关pumping lemma的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社