Изменения

<tex>NC^i = \mathcal{f} L \mid L — </tex> распознается — множество языков, которые распознаются семейством логических схем размера полином от <tex>n</tex> и глубины <tex>O(log^i (n))</tex>, где <tex>n</tex> — длина входа; степень входа элемента не больше двух. Причем такую схему можно построить по <tex>1^n</tex> на <tex>O(log(n))</tex> памяти <tex>\mathcal{g}</tex>.

<tex>NC = \cup^{bigcup \infty}_limits_{i = 0}^{\infty} NC^i</tex><br/><tex>AC = \cup^{bigcup \infty}_limits_{i = 0}^{\infty} AC^i</tex><br/>