文脈自由言語としての文字列図形

モノイド圏における文脈自由言語を導入し、それらが古典的な文脈自由言語の一般化であることを示す。また、文脈自由言語の表現定理を証明し、それらが正則言語の像として表現できることを示す。