Hatékony folyamat

Legyen adott olyan halmaz , amelynek néhány eleme rendelkezik a tulajdonsággal . Ekkor egy hatékony folyamat (módszer, algoritmus ) olyan folyamat, amely bármely elemnél véges számú lépést tesz lehetővé annak megállapítására, hogy az elem rendelkezik-e tulajdonsággal vagy sem. $M$ $U$ $x \-ben M$ $x$ $U$

Félig hatékony folyamat

Ha egy elem rendelkezik a tulajdonsággal , akkor egy félig hatékony folyamat lehetővé teszi ennek feltárását véges számú lépésben. Ha nem rendelkezik a tulajdonsággal , akkor előfordulhat, hogy egy félig hatékony folyamat véges számú lépésben nem tud semmi határozottat mondani . $x$ $U$ $x$ $U$ $x$

Így egy félig hatékony folyamat során vagy megtudjuk, hogy rendelkezik a tulajdonsággal , vagy nem tudunk meg semmit a -ról . $x$ $U$ $x$

Lásd még

megoldható készlet
A formális elmélet algoritmikus eldönthetősége .