En '''komputationel gruppeklasse '''er en gruppe, der indeholder alle de algoritmer, et givet system kan komputere (udregne).<ref>Arora, Sanjeev; Barak, Boaz (2009), ''Computational Complexity: A Modern Approach'', Cambridge, ISBN 978-0-521-42426-4, Zbl 1193.68112</ref>