To je napriklad fajne podchytene v teorii formalnych jazykov a automatov, kde abstrakciou pocitaca je turingov stroj s konecnou paskou (citaco/zapisovacia hlava, konecna paska s diskretnymi symbolmi - prepisovatelnymi, konecny zoznam prepisovacich pravidiel)...

Ale snad najznamejsie obmedzenie je, ze N prvkovy zoznam nemozno utriedit lepsie ako n*lg(n) porovnaniami. Ideou dokazu je binarny porovnavaci strom, kde dole v listoch je tych N prvkov a v uzloch su vitazi porovnia 2 prvkov.

Ukazalo sa, ze ina vypoctova abstrakcia - ovela komplikovanejsia a ukotvena v pravidlach kvantovej fyziky - kvantovy pocitac - vie ten problem rozlusknut na N krokov!!! konkretna realizacia znacne pokulhava a sucasny kvantak vie takto triedit maximalne N=5 :DDD, ale vydrzme ,)