Matches in SemOpenAlex for { <https://semopenalex.org/work/W190350726> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W190350726 endingPage "232" @default.
- W190350726 startingPage "221" @default.
- W190350726 abstract "We present a new technique for proving that certain languages are not accepted by any pushdown machine of a specific type. We define the technique by example. Essentially, we combine context-free pumping lemmas with the Floydian view of pushdown machines as transition systems or finite-state machines, to give machine-based pumping lemmas. We give two applications and explications of the technique. The first application is to reprove the well-known results that the languages E = {a i b i , a i b 2i : i ≥ 1} and {xx R : x ∈ {a, b}*} are not deterministic context-free languages" @default.
- W190350726 created "2016-06-24" @default.
- W190350726 creator A5009151151 @default.
- W190350726 creator A5028491325 @default.
- W190350726 creator A5033283537 @default.
- W190350726 date "1994-01-01" @default.
- W190350726 modified "2023-09-26" @default.
- W190350726 title "Pumping and pushdown machines" @default.
- W190350726 cites W1604738535 @default.
- W190350726 cites W1872606801 @default.
- W190350726 cites W204267601 @default.
- W190350726 cites W94114727 @default.
- W190350726 doi "https://doi.org/10.1051/ita/1994283-402211" @default.
- W190350726 hasPublicationYear "1994" @default.
- W190350726 type Work @default.
- W190350726 sameAs 190350726 @default.
- W190350726 citedByCount "9" @default.
- W190350726 countsByYear W1903507262012 @default.
- W190350726 countsByYear W1903507262023 @default.
- W190350726 crossrefType "journal-article" @default.
- W190350726 hasAuthorship W190350726A5009151151 @default.
- W190350726 hasAuthorship W190350726A5028491325 @default.
- W190350726 hasAuthorship W190350726A5033283537 @default.
- W190350726 hasBestOaLocation W1903507261 @default.
- W190350726 hasConcept C112505250 @default.
- W190350726 hasConcept C116248031 @default.
- W190350726 hasConcept C134083981 @default.
- W190350726 hasConcept C158008952 @default.
- W190350726 hasConcept C167822520 @default.
- W190350726 hasConcept C186644900 @default.
- W190350726 hasConcept C199360897 @default.
- W190350726 hasConcept C27034413 @default.
- W190350726 hasConcept C41008148 @default.
- W190350726 hasConcept C74919329 @default.
- W190350726 hasConcept C77944639 @default.
- W190350726 hasConcept C80444323 @default.
- W190350726 hasConcept C97212296 @default.
- W190350726 hasConceptScore W190350726C112505250 @default.
- W190350726 hasConceptScore W190350726C116248031 @default.
- W190350726 hasConceptScore W190350726C134083981 @default.
- W190350726 hasConceptScore W190350726C158008952 @default.
- W190350726 hasConceptScore W190350726C167822520 @default.
- W190350726 hasConceptScore W190350726C186644900 @default.
- W190350726 hasConceptScore W190350726C199360897 @default.
- W190350726 hasConceptScore W190350726C27034413 @default.
- W190350726 hasConceptScore W190350726C41008148 @default.
- W190350726 hasConceptScore W190350726C74919329 @default.
- W190350726 hasConceptScore W190350726C77944639 @default.
- W190350726 hasConceptScore W190350726C80444323 @default.
- W190350726 hasConceptScore W190350726C97212296 @default.
- W190350726 hasIssue "3-4" @default.
- W190350726 hasLocation W1903507261 @default.
- W190350726 hasLocation W1903507262 @default.
- W190350726 hasLocation W1903507263 @default.
- W190350726 hasOpenAccess W190350726 @default.
- W190350726 hasPrimaryLocation W1903507261 @default.
- W190350726 hasRelatedWork W1486486721 @default.
- W190350726 hasRelatedWork W1511257926 @default.
- W190350726 hasRelatedWork W1972232894 @default.
- W190350726 hasRelatedWork W1991406344 @default.
- W190350726 hasRelatedWork W2012479020 @default.
- W190350726 hasRelatedWork W2067895928 @default.
- W190350726 hasRelatedWork W2074593591 @default.
- W190350726 hasRelatedWork W2482236631 @default.
- W190350726 hasRelatedWork W2758239419 @default.
- W190350726 hasRelatedWork W2472752294 @default.
- W190350726 hasVolume "28" @default.
- W190350726 isParatext "false" @default.
- W190350726 isRetracted "false" @default.
- W190350726 magId "190350726" @default.
- W190350726 workType "article" @default.