ist die Klasse von Entscheidungsproblemen, die durch eine Familie von O ( log i n ) -Tiefenschaltungen mit UND-Gattern mit unbegrenztem Fanin-ODER und begrenztem Fanin lösbar sind. Negationen sind nur auf der Eingangsebene zulässig. Es ist bekannt, dassfürunter Komplement abgeschlossen ist undnicht. Außerdem istund weist daher eine Maschinencharakterisierung auf, daLogCFL? die Menge von Sprachen ist, die von einem Polynom- Hilfs-PDA akzeptiert werden . Gibt es ähnliche Maschinencharakterisierungen von für