Caratterizzazione logica di $ nc^1 $

Question

Morioka nella sua tesi di laurea del 2005 [1] referenziato "In uniformità all'interno $ Nc^1 $" di Barrington, Immerman e Straubing. Utilizzando la seguente dichiarazione:

Ogni $ mathbf {nc^1} $-Predicate è calcolato da una famiglia dlogtime-uniforme di formule proposizionali di dimensioni polinomiali

Questa frase è essenziale per definire una riduzione da un $ mathbf {nc^1} $ funzione a $ Sigma_1^q $-Il problema di avvio per $ G_0 $, Tuttavia, tuttavia non sono in grado di capire come questa affermazione è stata raggiunta dal documento originale, o mi manca qualcosa di importante qui o la mia esperienza nella complessità del circuito non è abbastanza, qualcuno può spiegare intuitivamente come è nata questa frase?