Module 1 : Introduction to the theory of computation – Set ...

Many times a predicate requires a representing function to convert the predicate's output { t, f } to { 0, 1 } (note the order "t" to "0" and "f" to "1" matches with ~(sig( )) defined below). By definition a function φ(x) is a "representing function" of the predicate P(x) if φ takes only values 0 and 1 and produces 0 when P is true". ................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download