Es tatsächlich ist ein härteste DCFL-, die eine deterministische Version von Greibach der ist; Es wurde von Sudborough im Jahr 78 in Über deterministische kontextfreie Sprachen, Mehrkopfautomaten und die Leistung eines zusätzlichen Pushdown-Speichers eingeführt . Die darin erwähnte Sprache ist die Menge von Wörtern über { a , ˉ a , b , ˉ b , # , [ , ] }, wobei:L(2)0{a,a¯,b,b¯,#,[,]}
γ0[a¯γ(1)a#b¯γ(1)b]⋯[a¯γ(k)a#b¯γ(k)b],
with γ0,γ(i)a,γ(i)b words over {a,a¯,b,b¯}, such that there exists a word w1w2⋯wk∈{a,b}k with γ0w1¯γ(1)w1⋯wk¯γ(k)wk a Dyck word.
It then holds that L(2)0 is a DCFL and any DCFL log-space-reduces to L(2)0. In that sense, L(2)0 is the hardest tape DCFL.
As mentioned by contributor Mateus de Oliveira Oliveira, DCFL is not a principal AFL, and it is unknown whether there exists an exact characterization involving the closure of a single language under some operations.