Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,296 papers from all fields of science
Search
Sign In
Create Free Account
Pumping lemma for context-free languages
Known as:
The bar-hilel lemma
, The bar hilel lemma
, Pumping lemma (context-free languages)
Expand
In computer science, in particular in formal language theory, the pumping lemma for context-free languages, also known as the Bar-Hillel lemma, is a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Chomsky normal form
Computability
Computer science
Context-free grammar
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Background Reduction Methods and Vacuum Technology at the KATRIN Spectrometers
S. Görhardt
2015
Corpus ID: 124270031
The goal of KATRIN is to measure the absolute mass of the electron-antineutrino with a sensitivity of 200 meV by analyzing the…
Expand
2012
2012
On the Significance of the Collapse Operation
P. Parys
27th Annual IEEE Symposium on Logic in Computer…
2012
Corpus ID: 15189918
We show that deterministic collapsible pushdown automata of second level can recognize a language which is not recognizable by…
Expand
2010
2010
A Pumping Lemma for Output Languages of Attributed Tree Transducers
Armin Kühnemann
,
H. Vogler
Acta Cybernetica
2010
Corpus ID: 6036172
The concept of attributed tree transducer is a formal model for studying properties of attribute grammars(cid:2) In this paper…
Expand
2008
2008
Temporal structure of a supercontinuum generated under pulsed and CW pumping
S. Kobtsev
,
S. Smirnov
2008
Corpus ID: 119748075
The numerical simulation based on the solution to the generalized nonlinear Schrödinger equation is used to analyze various…
Expand
2007
2007
Finite Automata Based on Quantum Logic and Their Determinization
Yongming Li
arXiv.org
2007
Corpus ID: 3204856
We give the quantum subset construction of orthomodular lattice-valued finite automata, then we show the equivalence between…
Expand
2006
2006
Studies of a mesospheric sodium guidestar pumped by continuous-wave sum-frequency mixing of two Nd:YAG laser lines in lithium triborate
J. Telle
,
J. Drummond
,
+4 authors
R. Fugate
SPIE Defense + Commercial Sensing
2006
Corpus ID: 96792373
Mesospheric sodium guidestar radiance is plotted vs. wavelength, fasor power, fasor polarization and date. Peak radiance for…
Expand
2003
2003
Proton Pumping P Systems
A. Alhazov
,
M. Cavaliere
Workshop on Membrane Computing
2003
Corpus ID: 16664297
We propose here a (biologically inspired) model of P system called proton pumping P system that is a special case of evolution…
Expand
Review
2002
Review
2002
Assessment of Groundwater Resources in Selected Areas of AI Ain in the U.A.E.
A. Shahi
,
Fatma Abdullatif
2002
Corpus ID: 130917655
T�e su tainabl� d�veJop�ent of any region depends on the avai labi l ity of water resources. In and ar:d sem � -and regI Ons, �he…
Expand
Review
1997
Review
1997
A Modern Concept Simplifying The Interpretation Of Pumping Tests
M. Stundner
,
G. Zangl
,
F. Komlosi
1997
Corpus ID: 124920822
A thorough analysis of hydrologic pumping tests requires the knowledge about the flow regimes in order to employ the right…
Expand
Highly Cited
1986
Highly Cited
1986
A lagrangian mixed layer model of Atlantic 18°C water formation
J. Woods
,
W. Barkmann
Nature
1986
Corpus ID: 4316181
One of the most striking features of the upper North Atlantic Ocean is an extensive layer of water with temperature close to 18°C…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE