Ένα είδος υπολογισμού μπορεί να προσομοιωθεί με ένα άλλο είδος εντός ορίων δηλωμένο πολυπλοκότητα. Πιο γνωστό συγκράτηση ή ισότητα σχέσεις μεταξύ πολυπλοκότητας τάξεις γεναιότητα αυτόν τον τρόπο.