es la clase de problemas de decisión que puede resolver una familia de circuitos de profundidad con compuertas OR sin límites y con compuertas AND con límites. Las negaciones solo están permitidas en el nivel de entrada. Se sabe que S A C i para i ≥ 1 está cerrado bajo el complemento y S A C 0 no. Además, S A C 1 = L o g C F L ) espacio dependiente y tiempo polinómico limitado PDA auxiliar. ¿Hay caracterizaciones de máquinas similares de y, por lo tanto, tiene una caracterización de máquina, ya que LogCFL es el conjunto de idiomas aceptados por un para ?
14
Respuestas:
Si. Alturas de pila. , es decir, con O ( log n ) espacio y O ( log n ) altura de pila; esto implica log n configuraciones y por lo tanto log 2 ( n )S A C1= N A u x P D A ( logn , logn ) O ( logn ) O ( logn ) Iniciar sesiónnorte Iniciar sesión2( n ) bits. Tenemos
Estas máquinas se ejecutarán en el tiempo . Sin restricción de la altura de la chimenea, obtendremos exactamente P . El resultado debe ser de: W. Ruzzo, alternancia acotada del tamaño del árbol. JCSS 1980.2Iniciar sesiónk( n ) PAG
fuente