搜索页_+Context+free+language

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：593条，耗时：0.0829603 秒

在所有数据库中总计命中：11,932条

1.Toward a theory of input-driven locally parsable languages

作者：Stefano Crespi Reghizzi^a ; ^c ; ^{stefano.crespireghizzi@polimi.it} ; Violetta Lonati^b ; ^{lonati@di.unimi.it} ; Dino Mandrioli^a ; ^{dino.mandrioli@polimi.it} ; Matteo Pradella^a ; ^c ; ^{matteo.pradella@polimi.it}

关键词：Operator precedence languages ; Input-driven languages ; Visibly pushdown languages ; Parallel parsing

刊名：Theoretical Computer Science

出版年：2017

2.On a class of languages with holonomic generating functions

作者：Giusi Castiglione^a ; ^{giuseppa.castiglione@unipa.it} ; Paolo Massazza^b ; ^{paolo.massazza@uninsubria.it}

关键词：Holonomic functions ; Parikh vectors ; Context free languages ; k-counter machines ; Parikh automata

刊名：Theoretical Computer Science

出版年：2017

3.A new pumping lemma for indexed languages, with an application to infinite words

作者：Tim Smith ^{smithtim@ccs.neu.edu}

关键词：Infinite word ; Indexed language ; Prefix language ; Morphic word ; Pumping lemma

刊名：Information and Computation

出版年：2017

4.Language production in a shared task: Cumulative Semantic Interference from self- and other-produced context words

作者：Renske S. Hoedemaker^a ; ^{renske.hoedemaker@mpi.nl} ; Jessica Ernst^b ; Antje S. Meyer^a ; Eva Belke^b

关键词：Cumulative Semantic Interference ; Language production ; Language comprehension ; Joint picture naming ; Dialogue ; Lexical selection

刊名：Acta Psychologica

出版年：2017

5.On prefix normal words and prefix normal forms

作者：Pé ; ter Burcsi^a ; ^{bupe@compalg.inf.elte.hu} ; Gabriele Fici^b ; ^{gabriele.fici@unipa.it} ; Zsuzsanna Liptá ; k^c ; ^{zsuzsanna.liptak@univr.it} ; Frank Ruskey^d ; ^{ruskey@cs.uvic.ca} ; Joe Sawada^e ; ^{jsawada@uoguelph.ca}

关键词：Prefix normal words ; Prefix normal forms ; Binary languages ; Binary jumbled pattern matching ; Pre-necklaces ; Lyndon words ; Enumeration

刊名：Theoretical Computer Science

出版年：2017

6.Boundary sets of regular and context-free languages

作者：Markus Holzer ^{holzer@informatik.uni-giessen.de" class="auth_mail" title="E-mail the corresponding author} ; Sebastian Jakobi ^{sebastian.jakobi@informatik.uni-giessen.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Regular languages ; Context-free languages ; Boundary sets ; Computational complexity ; Decidability ; Valid computations

刊名：Theoretical Computer Science

出版年：2016

7.On equality between fuzzy context-free and fuzzy adult 0L languages

作者：Pavel Martinek ^{pmartinek@fai.utb.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：Fuzzy context-free grammar ; Fuzzy adult 0L system ; Fuzzy context-free language ; Fuzzy adult 0L language

刊名：Fuzzy Sets and Systems

出版年：2016

8.Distance structures for generalized metric spaces

作者：Gabriel Conant ^{gconant@nd.edu}

关键词：03C10 ; 03C15 ; 54E35 ; 20N02

刊名：Annals of Pure and Applied Logic

出版年：2017

9.Pseudorandom generators against advised context-free languages

作者：Tomoyuki Yamakami¹ ; ^{TomoyukiYamakami@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Context-free language ; Advice ; Pseudorandom generator ; Pushdown automaton ; Pseudorandom language ; Swapping property

刊名：Theoretical Computer Science

出版年：2016

10.A complete refinement procedure for regular separability of context-free languages

作者：Graeme Gange^a ; ^{gkgange@unimelb.edu.au" class="auth_mail" title="E-mail the corresponding author} ; Jorge A. Navas^b ; ^{jorge.a.navaslaserna@nasa.gov" class="auth_mail" title="E-mail the corresponding author} ; Peter Schachte^a ; ^{schachte@unimelb.edu.au" class="auth_mail" title="E-mail the corresponding author} ; Harald Sø ; ndergaard^a ; ^{harald@unimelb.edu.au" class="auth_mail" title="E-mail the corresponding author} ; Peter J. Stuckey^a ; ^{pstuckey@unimelb.edu.au" class="auth_mail" title="E-mail the corresponding author}

关键词：Abstraction refinement ; Context-free languages ; Regular approximation ; Separability

刊名：Theoretical Computer Science

出版年：2016

查看站内搜索结果(1)

按检索点细分(593)

题名(67)

关键词(128)

文摘(492)

按出版年细分(593)

2027年及以后(20)

2017年(6)

2016年(28)

2015年(7)

2014年(1)

2013年(30)

2012年(35)

2011年(40)

2010年(30)

2009年(41)

2008年(26)

2007年(23)

2006年(30)

2005年(36)

2004年(22)

2003年(31)

2002年(23)

2001年(27)

2000年(23)

2000年及以前(114)