church-rosser theorem
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of church-rosser theorem words
- noun Technical meaning of church-rosser theorem (theory) A property of a reduction system that states that if an expression can be reduced by zero or more reduction steps to either expression M or expression N then there exists some other expression to which both M and N can be reduced. This implies that there is a unique normal form for any expression since M and N cannot be different normal forms because the theorem says they can be reduced to some other expression and normal forms are irreducible by definition. It does not imply that a normal form is reachable, only that if reduction terminates it will reach a unique normal form. 1
Information block about the term
Parts of speech for Church-rosser theorem
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with c
- Words starting with ch
- Words starting with chu
- Words starting with chur
- Words starting with churc
- Words starting with church
- Words starting with churchr
- Words starting with churchro
- Words starting with churchros
- Words starting with churchross
- Words starting with churchrosse
- Words starting with churchrosser
- Words starting with churchrossert
- Words starting with churchrosserth
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?