Matches in SemOpenAlex for { <https://semopenalex.org/work/W1663164787> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1663164787 abstract "Church-Rosser languages were defined by McNaughton, Narendran, and Otto in 1988. They are the deterministic variant of the growing context-sensitive languages. Their word problem is decidable in linear time and they are a propper superset of the deterministic context-free languages. Their definition is baes on confluent length-reducing string rewriting systems, enhanced by the possibility to mark word ends and to use variables (nonterminals). The thesis discusses the application of Church-Rosser languages to basic parsing problems, which, for example, appear in compiler construction. It is shown that it is possible to compute a description of each Church-Rosser language which has rewriting system fulfilling a special syntactical restriction. This restriction is similar to context-sensitive rules with swapped sides and ist called context-splittability. This result, which was not expected before, is a classification of the Church-Rosse languages which is also expandable to growing context-sensitive languages. For example, this normal form allows to compute syntax trees for accepted words of a Church-Rosser languages. Furthermore, it makes the proof easier that the Church-Rosser languages properly contain the deterministic context-free languages. Using this normal form a construction is introduced which can be used to describe certain the prefix languages of certain Church-Rosser languages again as Church-Rosser languages. Since in general this is not possible some decision problems arise. This are also discussed in the thesis, and at least paritally circumvented by test methods." @default.
- W1663164787 created "2016-06-24" @default.
- W1663164787 creator A5037721246 @default.
- W1663164787 date "2001-11-27" @default.
- W1663164787 modified "2023-09-27" @default.
- W1663164787 title "Church-Rosser Languages and Their Application to Parsing Problems" @default.
- W1663164787 hasPublicationYear "2001" @default.
- W1663164787 type Work @default.
- W1663164787 sameAs 1663164787 @default.
- W1663164787 citedByCount "1" @default.
- W1663164787 countsByYear W16631647872012 @default.
- W1663164787 crossrefType "dissertation" @default.
- W1663164787 hasAuthorship W1663164787A5037721246 @default.
- W1663164787 hasConcept C11164408 @default.
- W1663164787 hasConcept C11413529 @default.
- W1663164787 hasConcept C138885662 @default.
- W1663164787 hasConcept C141603448 @default.
- W1663164787 hasConcept C151730666 @default.
- W1663164787 hasConcept C153269930 @default.
- W1663164787 hasConcept C154690210 @default.
- W1663164787 hasConcept C169590947 @default.
- W1663164787 hasConcept C186644900 @default.
- W1663164787 hasConcept C199163288 @default.
- W1663164787 hasConcept C199305712 @default.
- W1663164787 hasConcept C199360897 @default.
- W1663164787 hasConcept C2524010 @default.
- W1663164787 hasConcept C2779343474 @default.
- W1663164787 hasConcept C33923547 @default.
- W1663164787 hasConcept C34165917 @default.
- W1663164787 hasConcept C41008148 @default.
- W1663164787 hasConcept C41895202 @default.
- W1663164787 hasConcept C86803240 @default.
- W1663164787 hasConcept C90805587 @default.
- W1663164787 hasConceptScore W1663164787C11164408 @default.
- W1663164787 hasConceptScore W1663164787C11413529 @default.
- W1663164787 hasConceptScore W1663164787C138885662 @default.
- W1663164787 hasConceptScore W1663164787C141603448 @default.
- W1663164787 hasConceptScore W1663164787C151730666 @default.
- W1663164787 hasConceptScore W1663164787C153269930 @default.
- W1663164787 hasConceptScore W1663164787C154690210 @default.
- W1663164787 hasConceptScore W1663164787C169590947 @default.
- W1663164787 hasConceptScore W1663164787C186644900 @default.
- W1663164787 hasConceptScore W1663164787C199163288 @default.
- W1663164787 hasConceptScore W1663164787C199305712 @default.
- W1663164787 hasConceptScore W1663164787C199360897 @default.
- W1663164787 hasConceptScore W1663164787C2524010 @default.
- W1663164787 hasConceptScore W1663164787C2779343474 @default.
- W1663164787 hasConceptScore W1663164787C33923547 @default.
- W1663164787 hasConceptScore W1663164787C34165917 @default.
- W1663164787 hasConceptScore W1663164787C41008148 @default.
- W1663164787 hasConceptScore W1663164787C41895202 @default.
- W1663164787 hasConceptScore W1663164787C86803240 @default.
- W1663164787 hasConceptScore W1663164787C90805587 @default.
- W1663164787 hasLocation W16631647871 @default.
- W1663164787 hasOpenAccess W1663164787 @default.
- W1663164787 hasPrimaryLocation W16631647871 @default.
- W1663164787 hasRelatedWork W1534920398 @default.
- W1663164787 hasRelatedWork W1548069040 @default.
- W1663164787 hasRelatedWork W1594760788 @default.
- W1663164787 hasRelatedWork W172982869 @default.
- W1663164787 hasRelatedWork W1975411323 @default.
- W1663164787 hasRelatedWork W2014286302 @default.
- W1663164787 hasRelatedWork W2023453491 @default.
- W1663164787 hasRelatedWork W2056449710 @default.
- W1663164787 hasRelatedWork W2057834256 @default.
- W1663164787 hasRelatedWork W2092786128 @default.
- W1663164787 hasRelatedWork W2131709870 @default.
- W1663164787 hasRelatedWork W2274187329 @default.
- W1663164787 hasRelatedWork W236969328 @default.
- W1663164787 hasRelatedWork W2403320175 @default.
- W1663164787 hasRelatedWork W2605126582 @default.
- W1663164787 hasRelatedWork W2962913017 @default.
- W1663164787 hasRelatedWork W3033525639 @default.
- W1663164787 hasRelatedWork W3106870970 @default.
- W1663164787 hasRelatedWork W659176087 @default.
- W1663164787 hasRelatedWork W67747506 @default.
- W1663164787 isParatext "false" @default.
- W1663164787 isRetracted "false" @default.
- W1663164787 magId "1663164787" @default.
- W1663164787 workType "dissertation" @default.