Matches in SemOpenAlex for { <https://semopenalex.org/work/W2074518392> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2074518392 endingPage "1412" @default.
- W2074518392 startingPage "1387" @default.
- W2074518392 abstract "The class of growing context-sensitive languages (GCSL) was proposed as a naturally defined subclass of context-sensitive languages whose membership problem is solvable in polynomial time. Growing context-sensitive languages and their deterministic counterpart called Church–Rosser languages (CRL) complement the Chomsky hierarchy in a natural way, as the classes filling the gap between context-free languages and context-sensitive languages. They possess characterizations by a natural machine model, length-reducing two-pushdown automata (lrTPDA). We introduce a lower bound technique for lrTPDAs. Using this technique, we prove the conjecture of McNaughton, Narendran and Otto that the set of palindromes is not in CRL. As a consequence we obtain that CFL∩coCFL as well as UCFL∩coUCFL are not included in CRL, where UCFL denotes the class of unambiguous context-free languages; this solves an open problem posed by Beaudry, Holzer, Niemann and Otto. Another corollary is that CRL is a strict subset of GCSL∩coGCSL." @default.
- W2074518392 created "2016-06-24" @default.
- W2074518392 creator A5019738192 @default.
- W2074518392 creator A5045625243 @default.
- W2074518392 date "2007-09-01" @default.
- W2074518392 modified "2023-09-25" @default.
- W2074518392 title "Lower bound technique for length-reducing automata" @default.
- W2074518392 cites W1518580661 @default.
- W2074518392 cites W1984896712 @default.
- W2074518392 cites W1991636160 @default.
- W2074518392 cites W2030946431 @default.
- W2074518392 cites W2040713190 @default.
- W2074518392 cites W2057834256 @default.
- W2074518392 cites W2074697089 @default.
- W2074518392 cites W2155704531 @default.
- W2074518392 cites W2912251669 @default.
- W2074518392 doi "https://doi.org/10.1016/j.ic.2007.02.003" @default.
- W2074518392 hasPublicationYear "2007" @default.
- W2074518392 type Work @default.
- W2074518392 sameAs 2074518392 @default.
- W2074518392 citedByCount "10" @default.
- W2074518392 countsByYear W20745183922018 @default.
- W2074518392 countsByYear W20745183922019 @default.
- W2074518392 countsByYear W20745183922020 @default.
- W2074518392 crossrefType "journal-article" @default.
- W2074518392 hasAuthorship W2074518392A5019738192 @default.
- W2074518392 hasAuthorship W2074518392A5045625243 @default.
- W2074518392 hasBestOaLocation W20745183921 @default.
- W2074518392 hasConcept C104317684 @default.
- W2074518392 hasConcept C112313634 @default.
- W2074518392 hasConcept C112505250 @default.
- W2074518392 hasConcept C114614502 @default.
- W2074518392 hasConcept C118615104 @default.
- W2074518392 hasConcept C127716648 @default.
- W2074518392 hasConcept C151730666 @default.
- W2074518392 hasConcept C154945302 @default.
- W2074518392 hasConcept C184264201 @default.
- W2074518392 hasConcept C185592680 @default.
- W2074518392 hasConcept C188082640 @default.
- W2074518392 hasConcept C198838072 @default.
- W2074518392 hasConcept C2777212361 @default.
- W2074518392 hasConcept C2779343474 @default.
- W2074518392 hasConcept C2780990831 @default.
- W2074518392 hasConcept C33923547 @default.
- W2074518392 hasConcept C41008148 @default.
- W2074518392 hasConcept C44667518 @default.
- W2074518392 hasConcept C53893814 @default.
- W2074518392 hasConcept C55493867 @default.
- W2074518392 hasConcept C77944639 @default.
- W2074518392 hasConcept C80444323 @default.
- W2074518392 hasConcept C86803240 @default.
- W2074518392 hasConcept C98108389 @default.
- W2074518392 hasConceptScore W2074518392C104317684 @default.
- W2074518392 hasConceptScore W2074518392C112313634 @default.
- W2074518392 hasConceptScore W2074518392C112505250 @default.
- W2074518392 hasConceptScore W2074518392C114614502 @default.
- W2074518392 hasConceptScore W2074518392C118615104 @default.
- W2074518392 hasConceptScore W2074518392C127716648 @default.
- W2074518392 hasConceptScore W2074518392C151730666 @default.
- W2074518392 hasConceptScore W2074518392C154945302 @default.
- W2074518392 hasConceptScore W2074518392C184264201 @default.
- W2074518392 hasConceptScore W2074518392C185592680 @default.
- W2074518392 hasConceptScore W2074518392C188082640 @default.
- W2074518392 hasConceptScore W2074518392C198838072 @default.
- W2074518392 hasConceptScore W2074518392C2777212361 @default.
- W2074518392 hasConceptScore W2074518392C2779343474 @default.
- W2074518392 hasConceptScore W2074518392C2780990831 @default.
- W2074518392 hasConceptScore W2074518392C33923547 @default.
- W2074518392 hasConceptScore W2074518392C41008148 @default.
- W2074518392 hasConceptScore W2074518392C44667518 @default.
- W2074518392 hasConceptScore W2074518392C53893814 @default.
- W2074518392 hasConceptScore W2074518392C55493867 @default.
- W2074518392 hasConceptScore W2074518392C77944639 @default.
- W2074518392 hasConceptScore W2074518392C80444323 @default.
- W2074518392 hasConceptScore W2074518392C86803240 @default.
- W2074518392 hasConceptScore W2074518392C98108389 @default.
- W2074518392 hasIssue "9" @default.
- W2074518392 hasLocation W20745183921 @default.
- W2074518392 hasOpenAccess W2074518392 @default.
- W2074518392 hasPrimaryLocation W20745183921 @default.
- W2074518392 hasRelatedWork W1846084147 @default.
- W2074518392 hasRelatedWork W1980915723 @default.
- W2074518392 hasRelatedWork W1993619792 @default.
- W2074518392 hasRelatedWork W1998744449 @default.
- W2074518392 hasRelatedWork W2020370487 @default.
- W2074518392 hasRelatedWork W2074518392 @default.
- W2074518392 hasRelatedWork W2172117229 @default.
- W2074518392 hasRelatedWork W2793662473 @default.
- W2074518392 hasRelatedWork W2950064858 @default.
- W2074518392 hasRelatedWork W4252914231 @default.
- W2074518392 hasVolume "205" @default.
- W2074518392 isParatext "false" @default.
- W2074518392 isRetracted "false" @default.
- W2074518392 magId "2074518392" @default.
- W2074518392 workType "article" @default.