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

What is computer virus?  A  computer  virus  is  a  computer  program  that  is  designed  to  spread  itself between   computers.   Computer virus are inactive when standing a

Q. Explain about Semiconductor Memories? Originally IC technology was used for constructing processor however soon it was realized that same technology can be used for construc

Latch is a D- type flip-flop used as a temporary storage device controlled by a timing signal, which can kept 0 or 1. The primary function of a Latch is data storage. It is used in

ANN Representation: Mostly 'ANNs' are taught on "AI" courses since their motivation from brain studies and the fact which they are used in an "AI" task and namely machine lear

what are the questionnaries and observation of work site for banking system?

Categorized Optimization transformations The structure of program and the way in that data is defined and used in this provide vital clues for optimization. Optimization t

Explain E-mail gateways. Email using SMTP works better while both the sender and the receiver are on the Internet and can support TCP connections among sender and receiver. Tho

Designed, developed, tested and documented the demo created for NPBlox framework. NPBlox framework is a framework which enabled developers to create CLI/WEB/SNMP interfaces for

What is XML DTD (Document Type Definition)? DTD is a document which defines legal building blocks of a particular XML document. This defines the document structure along with