Matches in SemOpenAlex for { <https://semopenalex.org/work/W2209481332> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2209481332 abstract "Term rewriting systems provide the computer scientists with a language to express functional definitions on complex domains. In such an area, we face the problem to characterize the ground normal forms (without any variables) as they are the results of computations. Doing that allows one to check the completeness of a functional definition (then the ground normal forms are built only with constructors) or to check the equivalence of two different functional definitions (it is possible to establish a one-to-one correspondence between the ground normal forms). We present here a characterization of the ground normal forms in terms of grammar, and an algorithm to derive it from the form of the left-hand sides of the rewrite rules. When the left-hand sides are linear, the form of the grammar is especially simple as it is context-free when we consider the terms as words, written for instance in prefix form. Therefore we get a decision procedure for the finiteness of the set of ground normal forms and we are also able to compute the normal forms which are the instances of a given linear term. The ideas behind the algorithms we present are very simple and we illustrate them by several examples." @default.
- W2209481332 created "2016-06-24" @default.
- W2209481332 creator A5009302133 @default.
- W2209481332 creator A5023853046 @default.
- W2209481332 date "1986-01-01" @default.
- W2209481332 modified "2023-09-24" @default.
- W2209481332 title "How to characterize the language of ground normal forms" @default.
- W2209481332 hasPublicationYear "1986" @default.
- W2209481332 type Work @default.
- W2209481332 sameAs 2209481332 @default.
- W2209481332 citedByCount "1" @default.
- W2209481332 crossrefType "journal-article" @default.
- W2209481332 hasAuthorship W2209481332A5009302133 @default.
- W2209481332 hasAuthorship W2209481332A5023853046 @default.
- W2209481332 hasConcept C111472728 @default.
- W2209481332 hasConcept C121332964 @default.
- W2209481332 hasConcept C134306372 @default.
- W2209481332 hasConcept C138885662 @default.
- W2209481332 hasConcept C141603448 @default.
- W2209481332 hasConcept C154690210 @default.
- W2209481332 hasConcept C171250308 @default.
- W2209481332 hasConcept C17231256 @default.
- W2209481332 hasConcept C177264268 @default.
- W2209481332 hasConcept C192562407 @default.
- W2209481332 hasConcept C199360897 @default.
- W2209481332 hasConcept C202444582 @default.
- W2209481332 hasConcept C26022165 @default.
- W2209481332 hasConcept C2780069185 @default.
- W2209481332 hasConcept C2780586882 @default.
- W2209481332 hasConcept C2780841128 @default.
- W2209481332 hasConcept C33923547 @default.
- W2209481332 hasConcept C41008148 @default.
- W2209481332 hasConcept C41895202 @default.
- W2209481332 hasConcept C61797465 @default.
- W2209481332 hasConcept C62520636 @default.
- W2209481332 hasConceptScore W2209481332C111472728 @default.
- W2209481332 hasConceptScore W2209481332C121332964 @default.
- W2209481332 hasConceptScore W2209481332C134306372 @default.
- W2209481332 hasConceptScore W2209481332C138885662 @default.
- W2209481332 hasConceptScore W2209481332C141603448 @default.
- W2209481332 hasConceptScore W2209481332C154690210 @default.
- W2209481332 hasConceptScore W2209481332C171250308 @default.
- W2209481332 hasConceptScore W2209481332C17231256 @default.
- W2209481332 hasConceptScore W2209481332C177264268 @default.
- W2209481332 hasConceptScore W2209481332C192562407 @default.
- W2209481332 hasConceptScore W2209481332C199360897 @default.
- W2209481332 hasConceptScore W2209481332C202444582 @default.
- W2209481332 hasConceptScore W2209481332C26022165 @default.
- W2209481332 hasConceptScore W2209481332C2780069185 @default.
- W2209481332 hasConceptScore W2209481332C2780586882 @default.
- W2209481332 hasConceptScore W2209481332C2780841128 @default.
- W2209481332 hasConceptScore W2209481332C33923547 @default.
- W2209481332 hasConceptScore W2209481332C41008148 @default.
- W2209481332 hasConceptScore W2209481332C41895202 @default.
- W2209481332 hasConceptScore W2209481332C61797465 @default.
- W2209481332 hasConceptScore W2209481332C62520636 @default.
- W2209481332 hasLocation W22094813321 @default.
- W2209481332 hasOpenAccess W2209481332 @default.
- W2209481332 hasPrimaryLocation W22094813321 @default.
- W2209481332 hasRelatedWork W100825583 @default.
- W2209481332 hasRelatedWork W113789952 @default.
- W2209481332 hasRelatedWork W1503366962 @default.
- W2209481332 hasRelatedWork W1507910031 @default.
- W2209481332 hasRelatedWork W1590784331 @default.
- W2209481332 hasRelatedWork W1785196451 @default.
- W2209481332 hasRelatedWork W1974528591 @default.
- W2209481332 hasRelatedWork W2017002167 @default.
- W2209481332 hasRelatedWork W2026463805 @default.
- W2209481332 hasRelatedWork W2052859233 @default.
- W2209481332 hasRelatedWork W2078433343 @default.
- W2209481332 hasRelatedWork W2091821459 @default.
- W2209481332 hasRelatedWork W2178595811 @default.
- W2209481332 hasRelatedWork W2736250658 @default.
- W2209481332 hasRelatedWork W2784616667 @default.
- W2209481332 hasRelatedWork W2894353284 @default.
- W2209481332 hasRelatedWork W2937619140 @default.
- W2209481332 hasRelatedWork W2949241840 @default.
- W2209481332 hasRelatedWork W2952388772 @default.
- W2209481332 hasRelatedWork W2964794617 @default.
- W2209481332 isParatext "false" @default.
- W2209481332 isRetracted "false" @default.
- W2209481332 magId "2209481332" @default.
- W2209481332 workType "article" @default.