最近コンピュータサイエンスの理屈を学びながらコンパイラに使われる形式文法に関して読んでいます。 Context free languages are sets of strings which can be represented by a context free grammar. One property often proven for a language is wheth…