搜索页_free+languages

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

Wiley电子期刊(5)	SpringerLink电子期刊(1127)	NATURE电子期刊(28)	ACS电子期刊(1)
Springer电子图书(26)	ProQuest学位论文(72)	Elsevier电子期刊(788)

在“SpringerLink电子期刊”中，命中：1,127条，耗时：0.0249864 秒

在所有数据库中总计命中：2,047条

1. Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages

关键词：Different alphabets ; Left ideal ; Most complex ; Quotient/state complexity ; Regular language ; Suffix ; closed ; Suffix ; convex ; Suffix ; free ; Syntactic semigroup ; Transition semigroup ; Unrestricted complexity

刊名：Lecture Notes in Computer Science

出版年：2017

2. Edit-Distance Between Visibly Pushdown Languages

关键词：Visibly pushdown languages ; Edit ; distance ; Algorithm ; Decidability

刊名：Lecture Notes in Computer Science

出版年：2017

3. Tight Bounds for Active Self-Assembly Using an Insertion Primitive

作者： Benjamin Hescott ; Caleb Malchik ; Andrew Winslow

关键词：DNA computing ; Biocomputing ; Formal languages ; Polymers ; Context ; free grammars

刊名：Algorithmica

出版年：2017

4. Cut Languages in Rational Bases

关键词：Grammars ; Quasi ; periodic power series ; Cut language

刊名：Lecture Notes in Computer Science

出版年：2017

5. The Strong, Weak, and Very Weak Finite Context and Kernel Properties

关键词：Grammatical inference and algorithmic learning ; Distributional learning ; Finite context property ; Finite kernel property ; Context ; free languages

刊名：Lecture Notes in Computer Science

出版年：2017

6. Why and how developers fork what from whom in GitHub

作者： Jing Jiang ; David Lo ; Jiahuan He ; Xin Xia…

关键词：Fork ; Open source software ; GitHub

刊名：Empirical Software Engineering

出版年：2017

7. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

8. Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages

关键词：Matrix semigroup freeness ; Scalar ambiguity ; Bounded languages ; Undecidability

刊名：Lecture Notes in Computer Science

出版年：2016

9. Supervisory control synthesis for deterministic context free specification languages

作者： Anne-Kathrin Schmuck ; Sven Schneider ; Jörg Raisch…

关键词：Supervisory control theory ; Supremal controllable sublanguage ; Minimally restrictive supervisor ; Deterministic context free languages ; Pushdown automata

刊名：Discrete Event Dynamic Systems

出版年：2016

10. More on quantum, stochastic, and pseudo stochastic languages with few states

作者： Arseny M. Shur ; Abuzer Yakaryılmaz

关键词：Stochastic languages ; Unary languages ; Quantum finite automata ; Generalized finite automata ; Probabilistic finite automata ; Regular languages ; Context ; free languages

刊名：Natural Computing

出版年：2016

按检索点细分(1127)

题名(139)

作者(1)

关键词(56)

文摘(1025)

按出版年细分(1127)

2017年(7)

2016年(66)

2015年(84)

2014年(88)

2013年(87)

2012年(87)

2011年(29)

2010年(71)

2009年(67)

2008年(75)

2007年(113)

2006年(82)

2005年(100)

2004年(33)

2003年(27)

2002年(42)

2001年(10)

2000年(13)

2000年及以前(46)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700