TESTING FOR THE CHURCH-ROSSER PROPERTY.

Research output: Chapter in Book/Report/Conference proceedingChapter

43 Citations (Scopus)

Abstract

The central notion in a replacement system is one of a transformation on a set of objects. Starting with a given object, in one ″move″ it is possible to reach one of a set of objects. An object from which no move is possible is called irreducible. A replacement system is Church-Rosser if starting with any object a unique irreducible object is reached. A generalization of the above notion is a replacement system consisting of a set of objects (S), a transformation, and an equivalence relation on S. A replacement system is Church-Rosser if starting with objects equivalent under an equivalence relation on S, equivalent irreducible objects are reached. Necessary and sufficient conditions are determined that simplify the task of testing if a replacement system is Church-Rosser. Attention will be paid to showing that a replacement system is Church-Rosser using information about parts of the system.

Original languageEnglish (US)
Title of host publicationJ Assoc Comput Mach
Pages671-679
Number of pages9
Volume21
Edition4
StatePublished - Oct 1974
Externally publishedYes

Fingerprint

Religious buildings
Testing

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Sethi, R. (1974). TESTING FOR THE CHURCH-ROSSER PROPERTY. In J Assoc Comput Mach (4 ed., Vol. 21, pp. 671-679)

TESTING FOR THE CHURCH-ROSSER PROPERTY. / Sethi, Ravi.

J Assoc Comput Mach. Vol. 21 4. ed. 1974. p. 671-679.

Research output: Chapter in Book/Report/Conference proceedingChapter

Sethi, R 1974, TESTING FOR THE CHURCH-ROSSER PROPERTY. in J Assoc Comput Mach. 4 edn, vol. 21, pp. 671-679.
Sethi R. TESTING FOR THE CHURCH-ROSSER PROPERTY. In J Assoc Comput Mach. 4 ed. Vol. 21. 1974. p. 671-679
Sethi, Ravi. / TESTING FOR THE CHURCH-ROSSER PROPERTY. J Assoc Comput Mach. Vol. 21 4. ed. 1974. pp. 671-679
@inbook{e83cde3711194a2f974975e534374fa3,
title = "TESTING FOR THE CHURCH-ROSSER PROPERTY.",
abstract = "The central notion in a replacement system is one of a transformation on a set of objects. Starting with a given object, in one ″move″ it is possible to reach one of a set of objects. An object from which no move is possible is called irreducible. A replacement system is Church-Rosser if starting with any object a unique irreducible object is reached. A generalization of the above notion is a replacement system consisting of a set of objects (S), a transformation, and an equivalence relation on S. A replacement system is Church-Rosser if starting with objects equivalent under an equivalence relation on S, equivalent irreducible objects are reached. Necessary and sufficient conditions are determined that simplify the task of testing if a replacement system is Church-Rosser. Attention will be paid to showing that a replacement system is Church-Rosser using information about parts of the system.",
author = "Ravi Sethi",
year = "1974",
month = "10",
language = "English (US)",
volume = "21",
pages = "671--679",
booktitle = "J Assoc Comput Mach",
edition = "4",

}

TY - CHAP

T1 - TESTING FOR THE CHURCH-ROSSER PROPERTY.

AU - Sethi, Ravi

PY - 1974/10

Y1 - 1974/10

N2 - The central notion in a replacement system is one of a transformation on a set of objects. Starting with a given object, in one ″move″ it is possible to reach one of a set of objects. An object from which no move is possible is called irreducible. A replacement system is Church-Rosser if starting with any object a unique irreducible object is reached. A generalization of the above notion is a replacement system consisting of a set of objects (S), a transformation, and an equivalence relation on S. A replacement system is Church-Rosser if starting with objects equivalent under an equivalence relation on S, equivalent irreducible objects are reached. Necessary and sufficient conditions are determined that simplify the task of testing if a replacement system is Church-Rosser. Attention will be paid to showing that a replacement system is Church-Rosser using information about parts of the system.

AB - The central notion in a replacement system is one of a transformation on a set of objects. Starting with a given object, in one ″move″ it is possible to reach one of a set of objects. An object from which no move is possible is called irreducible. A replacement system is Church-Rosser if starting with any object a unique irreducible object is reached. A generalization of the above notion is a replacement system consisting of a set of objects (S), a transformation, and an equivalence relation on S. A replacement system is Church-Rosser if starting with objects equivalent under an equivalence relation on S, equivalent irreducible objects are reached. Necessary and sufficient conditions are determined that simplify the task of testing if a replacement system is Church-Rosser. Attention will be paid to showing that a replacement system is Church-Rosser using information about parts of the system.

UR - http://www.scopus.com/inward/record.url?scp=0016115082&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0016115082&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:0016115082

VL - 21

SP - 671

EP - 679

BT - J Assoc Comput Mach

ER -