an:04033073
Zbl 0634.68034
Immerman, Neil
Languages that capture complexity classes
EN
SIAM J. Comput. 16, 760-778 (1987).
00152977
1987
j
68Q25 03D15
bounded depth circuits; quantifier alternations; logical languages; transitive closure; complexity classes
Some results on interrelations between the problems expressible by logical languages and the complexity classes are proved. The set \(1^{st}O\) of all finite models of the first order languages is strictly contained in the complexity class L (deterministic logspace). Adding the operator pos TC of the positive reflexive transitive closure of the relations, the author proves the coincidence \(NL=1^{st}O+pos TC\). Moreover \(L=1^{st}O+DTC\), where DTC is the deterministic version of the transitive closure. Similar results on the descriptions of the polynomially space complexity classes in the terms of second order logical languages are ascertained, in particular \(PSPACE=2^{nd}O+TC\).
D.Yu.Grigor'ev