Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,827,087 papers from all fields of science
Search
Sign In
Create Free Account
Parikh's theorem
Parikh's theorem in theoretical computer science says that if one looks only at the relative number of occurrences of terminal symbols in a context…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Ambiguous grammar
Context-free grammar
Context-free language
Formal grammar
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Proving Parikh's theorem using Chomsky-Schutzenberger theorem
Dmitry Golubenko
arXiv.org
2017
Corpus ID: 23994637
Parikh theorem was originally stated and proved by Rohkit Parikh in MIT research report in 1961. Many different proofs of this…
Expand
2017
2017
Bacterial isolates from the Pediatric patients and its correlation with microbiological flora in tertiary care hospital
Yogesh N. Parikh
,
Jaimin Kharadi
,
N. Nain
,
Mitul Kalathiya
,
Zalak Shah
2017
Corpus ID: 212478990
Background: Infection is a health hazard of great expense and significance affecting the final outcome of treatment. Hospital…
Expand
2015
2015
Multipurpose prevention approaches with antiretroviral-based formulations 2 3
Ninochka Jean-Pierrea
,
Patrick Barnablea
,
+10 authors
Fernández-Romeroa
2015
Corpus ID: 39112259
24 We compared the preclinical safety and efficacy of Tenofovir (TFV) 1% gel and 25 MZC gel containing 50 μM MIV-150 (M), 14 mM…
Expand
2011
2011
A Regularity Measure for Context Free Grammars
M. Praveen
arXiv.org
2011
Corpus ID: 14773642
Parikh's theorem states that every Context Free Language (CFL) has the same Parikh image as that of a regular language. A finite…
Expand
2010
2010
Addition Operations on The Monadic Theories of Finite Structures
S. Shelah
2010
Corpus ID: 15473960
The results presented in this thesis are organized in two parts, both dealing with the logical properties of finite structures…
Expand
Review
2007
Review
2007
Graphical Models for Primarily Unsupervised Sequence Labeling
Neal Parikh
,
Mark Dredze
2007
Corpus ID: 7646509
Most models used in natural language processing must be trained on large corpora of labeled text. This tutorial explores a…
Expand
2006
2006
The potential role of dietary calcium in obesity
N. Cummings
2006
Corpus ID: 89271157
There is substantial evidence from cellular, animal and epidemiological studies in support of a role for calcium, and in…
Expand
2006
2006
Towards a Logical Analysis of Adjusted Winner Extended
E. Pacuit
2006
Corpus ID: 9129317
It is often convenient to view a computational procedure, or a program, as a relation on a set of states, where a state can be…
Expand
2004
2004
A complete characterization of a notion of contraction based on information-value
Horacio L. Arló-Costa
,
I. Levi
Non-Monotonic Reasoning
2004
Corpus ID: 18151990
We present a decision-theoretically motivated notion of contraction which, we claim, encodes the principles of minimal change and…
Expand
1993
1993
Strengthening Parikh's theorem for weak Systems of Arithmetic
M. Jumelet
1993
Corpus ID: 117967488
One of the basic results in the studies of weak systems of arithmetic is Parikh's theorem. In this paper we will be interested in…
Expand