Rule in a single direction - equivalences rules, Computer Engineering

Assignment Help:

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.


Related Discussions:- Rule in a single direction - equivalences rules

Embedded software, Embedded Software Intelligent products have becom...

Embedded Software Intelligent products have become commonplace for all consumer and industrial market. Embedded software stays in read only memory and is utilised to control

Why do you create parameters, Parameters are like script variables. They ar...

Parameters are like script variables. They are used to vary input to the server and to imitate real users. Dissimilar sets of data are sent to the server every time the script is r

What specifies by environment variable in cgi script, The Environment varia...

The Environment variable SCRIPT_NAME in CGI script specifies? In CGI script gives the path of URL after server name.

Characteristics of the id process, The following is taken from the first ed...

The following is taken from the first edition of the Set Book. We have included this because we find these characteristics helpful. We will refer to them later. In addition to t

Difference between data warehousing and data mining, Difference between dat...

Difference between data warehousing and data mining The difference between data warehousing and data mining is that data warehousing shows to the data storage while data mining

Where time synchronization is necessary, Time synchronization is necessary ...

Time synchronization is necessary in? Time synchronization is essential in TDM.

What is a container class, What are the types of container classes in C++? ...

What are the types of container classes in C++?  Ans) A container class is a class that is used to hold objects in memory/external storage. A container class behaves as a ge

Distinguish between min terms and max terms, Distinguish between min terms ...

Distinguish between min terms and max terms. Ans Differentiate between Minterms and Maxterms: a. Each single term in standard Sum Of Products (SOP) form is termed as minterm

What is ternary association, What is ternary association Associations c...

What is ternary association Associations can be binary, ternary, or have higher order. In use, the vast majority of it is binary or ternary associations. Except a ternary assoc

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd