如何给定线性CFL NL完成

Question

我想知道这种语言：L1={a^nb^n|n≥0}

是NL-complete？

我知道这种语言在L中，因此它也在NL中。但是，NL怎么这么难？