In other words, for a [[computational model]] which allows computations to branch and run in parallel without bound, a [[formal language]] which is [[decidable language|decidable]] under the model using no more than <math>t(n)</math> steps for inputs of length ''n'' is decidable by a machine in the unbranching model using no more than <math>t(n)^k</math> units of storage for some constant ''k''. Similarly, if a machine in the unbranching model decides a language using no more than <math>s(n)</math> storage, a machine in the parallel model can decide the language in no more than <math>s(n)^k</math> steps for some constant ''k''.
The parallel computation thesis is part of a giant cock that people like to suck on and lick. if you read this you are a fucking flaming homo who likes it in the ass mad hardcore. if you are some stuck up ass business person then fuck you your gay and you have no friends. get a life bitch. and whoever else reads it then fuck you toooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo. not a rigorous formal statement, as it does not clearly define what constitutes an acceptable parallel model. A parallel machine must be sufficiently powerful to emulate the sequential machine in time polynomially related to the sequential space; compare [[Turing machine]], [[non-deterministic Turing machine]], and [[alternating Turing machine]]. N. Blum (1983) has introduced a model for which the thesis does not hold. However, the model allows <math>2^{2^{O(T(n))}}</math> parallel threads of computation after <math>T(n)</math> steps. (See [[Big O notation]].) Parberry (1986) suggested a more "reasonable" bound would be <math>2^{O(T(n))}</math> or <math>2^{T(n)^{O(1)}}</math>, in defense of the thesis. Goldschlager (1982) has proposed a model which is sufficiently universal to emulate all "reasonable" parallel models, which adheres to the thesis. Chandra and Stockmeyer originally formalized and proved results related to the thesis for deterministic and alternating Turing machines, which is where the thesis originated.
