rewriting system
The 3š„+1 Problem as a String Rewriting System
... String Rewriting System SRS process specific to the 3x 1 problem and then prove that it replicates the algorithm for odd ...the rewriting will involve deletions as well as additions, for convenience, ...
6
A Transfer Model Using a Typed Feature Structure Rewriting System With Inheritance
... The type system is interpreted using the rewriting mechanism described in [Ait-Kaci 84], which gives an operational semantics for type inheritance: a feature structure which has a type ~[r] ...
6
Tree Rewriting Models of Multi Word Expressions
... string- rewriting system cannot. This makes tree-rewriting systems ideally suited to the analysis of natural lan- guage texts that contain many multi-word expres- sions with idiosyncratic ...
6
Discontinuous Data Oriented Parsing: A mildly context sensitive all fragments grammar
... This has been achieved by combining a variety of techniques: a linear context-free rewriting system as the symbolic grammar, data-oriented parsing as the probabilistic framework, a gener[r] ...
11
LCFRS binarization and debinarization for directional parsing
... Context-Free Rewriting System (LCFRS), an extension of CFG in which non-terminals can cover more than a single span, can be used to model dis- continuous constituents as well as non-projective de- ...
7
Automatic Rewriting of Patient Record Narratives
... need rewriting and the features that contribute to the technicality of the seg- ...text rewriting system, we asked them to identify the changes that would make the text more ...
7
Dependency Parsing with Graph Rewriting
... non-confluent rewriting system can be used: for instance, PP- attachment is known to be a task that cannot be decided only with syntactic ...non-confluent system and the problem of ranking in case of ...
10
Confidence based Rewriting of Machine Translation Output
... the system so ...rewriter system could be used to determine automatically whether a rewriting system could (if asked to) at- tempt to improve locally a translation, or whether a human ...
12
Volume 2: Petri Nets and Graph Transformations
... net rewriting system, a system configuration is de- scribed as a Petri net, and a change in configuration is described as a graph rewriting ...ing system where a change in configuration ...
14
Design and Implementation of Multi-Context Rewriting Induction
... term rewriting systems [4]. Among them is a method called the rewriting induction (RI) proposed by Reddy [7], which is a principle general- izing and reļ¬ning several procedures for proving inductive ...
6
Algorithmic problems in the braid groups
... Studies Volume 86 (Princeton Uni. Press, PrinceĀ ton). 1980 Confluent reductions: Abstract properties and applications to term rewriting system s J. 1999 Turbulent dyna[r] ...
139
Volume 41: Graph Transformation and Visual Modeling Techniques 2011
... of rewriting systems can be defined on an abstract level by using the notion of abstract rewriting systems (see ...categorical rewriting systems, that is to say rewriting systems defined by ...
18
Volume 26: Manipulation of Graphs, Algebras and Pictures
... In [CMR96, VJ02] graph processes are proposed as a way to describe ārunsā of a graph rewriting system. Informally, a graph process is a structure obtained by gluing together the rule occur- rences of a run, ...
19
Modular Graph Rewriting to Compute Semantics
... graph rewriting system presented in the paper was merely here to illustrate the method, which can be used for other input and output ...same system of rules and enrich it with new rules to get a ...
10
Volume 18: Graph Transformation and Visual Modeling Techniques 2009
... In this paper, we present a case study in which we investigated the simulation of gene ex- pression using the general purpose graph rewriting system GrGen.NET [GBG + 06]. Simulating the human genome is ...
12
Privacy Aware Text Rewriting
... text rewriting framework based on back-translation to reduce the leakage of sensi- tive ...text rewriting, including datasets, evaluation metrics and rewrit- ing methods, which will promote the interest in ...
11
Deriving Bisimulation Congruences: 2 categories vs precategories (talk)
... Well-known Reactive Systems Term rewriting systems Graph rewriting systems via cospans Simple process calculi with terms up to structural congruence... a relative pushout RPO is a tuple [r] ...
41
Sentence Rewriting for Semantic Parsing
... There were also several approaches focused on the mismatch problem. Kwiatkowski et al. (2013) addressed the ontology mismatch prob- lem (i.e., two ontologies using different vocabu- laries) by first parsing a sentence ...
12
Sentence level Rewriting Detection
... Rewriting is considered to be an important process during writing. However, conducting successful rewriting is not an easy task, especially for novice writers. Instructors work hard on providing sug- ...
6
Parser Which Learns the Application Order of Rewriting Rules
... Parser Which Learns the Application Order of Rewriting Rules COLING 82, J Horeck) (?d,) North Holland Publishing Company ? Academia, 1982 A Parser Which Learns the Application Order of Rewriting Rules[.] ...
6