Sentence examples for rewrite system from inspiring English sources

For convenience to show our results, we rewrite system (1.2).

It is convenient to rewrite system (1.9 - 1.10) in the stream function and vorticity formulation in dimensionless form.

There is the possibility that when reducing an expression, the set of rules of a rewrite system could be applied in more than one way.

This fundamental question is called the termination problem of a rewrite system, and we state without proof that the system (R1)–(R4) meets the termination condition.

For the specification and verification of resource-oriented models, we use ACSR(Algebra of Communicating Shared Resource) and VERS A Verification Executionand Rewrite System for ACSR).

We define the rewrite system: Again, the symbol ⇒ indicates that a term matching the left-hand side of a rewrite rule should be replaced by the rule's right-hand side.

Autowrite was initially designed to check call-by-need properties of term rewrite systems.

The term rule-based program is meant to include definite clause programs, SOS specifications, attribute grammars, and conditional rewrite systems.

We then propose an abductive procedure where the problem of generating explanations is formalized as rewriting with confluent and terminating rewrite systems.

Then we establish the decidability border for the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones w.r.t. the hierarchy of process rewrite systems.

Autowrite is an experimental software tool written in Common Lisp Oriented System (CLOS) which handles term rewrite systems and bottom-up tree automata.