Context-free language Context-free grammar Context-free language $ S\to SS|(S)|\varepsilon $. $ {a{n}b{n}c{n}d{n}|n>0} $ Context-free grammar