Funcție de complexitate adecvată - Proper complexity function
O funcție de complexitate adecvată este o funcție f maparea unui număr natural cu un număr natural, astfel încât:
- f nu scade;
- există un k -string turarea mașină M astfel încât pe orice intrare de lungime n , M popasurilor după O ( n + f ( n )) etape, utilizează O ( f ( n spațiu)) și ieșirile f ( n ) eboșe consecutive .
Dacă f și g sunt două funcții de complexitate adecvate, atunci f + g , fg și 2 f sunt, de asemenea, funcții de complexitate adecvate.
Noțiuni similare includ funcția onest, funcția spațiu edificabil , și funcția de timp edificabil .
