Nicht-reguläre Sprachen

Können alle durch Grammatiken beschreibbare Sprachen auch durch endliche Automaten beschrieben werden?

Hier ist eine Grammatik für eine Sprache, für die kein endlicher Automat gefunden werden kann:

V_T = {``('', ``)''}

V_N = {⟨ A ⟩, ⟨ B ⟩}

Produktionsregeln P:

⟨ A ⟩ ---> ε

⟨ A ⟩ ---> ⟨ B ⟩ ⟨ A ⟩

⟨ B ⟩ ---> ``('' ⟨ A ⟩ ``)''