Rule in a single direction - equivalences rules, Computer Engineering

Rule in a single direction - equivalences rules:

Hence there the power to replace  sub expressions always allows use to prove theorems with equivalences: as given in the above example, that a theorem S[A']↔S[B'] we can use the equivalence as A≡B to  rewrite  same that theorem to the equivalent as S[A']↔ S[A'], that we know to be true. By proper given a set of equivalences we can prove or disprove that a complex theorem through rewriting it to something logically equivalent which we already know to be true or may false. 

There is the fact that we can rewrite for instances of A to instances of B is expressed in terms of the rewrite rule A => B. Evidently, now we can also rewrite Bs to As, that we could use the rewrite rule B => A instead. Moreover, it's very easy to see that having an agent use both rules is dangerous, but as it could get stuck in a loop A => B => A => B => ... and so. Thus, now we typically use atlest one of the rewrite rules for a particular equivalence that we 'orient' the rule in a single direction. But if we do use both then we use to make sure we don't get stuck in a loop.

Posted Date: 1/11/2013 5:33:33 AM | Location : United States







Related Discussions:- Rule in a single direction - equivalences rules, Assignment Help, Ask Question on Rule in a single direction - equivalences rules, Get Answer, Expert's Help, Rule in a single direction - equivalences rules Discussions

Write discussion on Rule in a single direction - equivalences rules
Your posts are moderated
Related Questions
Q. Addressing Relationship for Main Memory and Cache? In the normal case there are 2k words in cache memory and 2n words in main memory. The n-bits memory address is splitted i

source code for IMPLEMENTATION FOR ELECTROMAGNETIC INDUCTION

Q. Explain the Message Passing Interface? The Message Passing Interface (MPI) is a universal benchmark for providing communication among multiple simultaneous processes on a di

Determine about the Locator Devices Mouse  A mouse is small hand-held box used to position the screen cursor. Wheels or rollers on the bottom of the mouse can be used to r

what is inheritence and all types in java?

Why is there no polymorphic-type response from a create() or find() method? Ans) The EJB Specification forbids this behavior, and the weblogic.ejbc compiler checks for this beha

What is the difference between intranet and extranet? Given table illustrates brief overview of the differences among the three kinds of the network: Network

What are the various phases of consumer merchantile model and also differentiate between prepurchase interaction & post purchase interaction.    There are three phase of consumer

what is Ambiguity in single inheritance

What is ROM? Ans: ROM: It is called Read Only Memory, is a Permanent or Semi-permanent Memory. The data is permanently stored and cannot be changed, in Permanent ROM. Th