形式的な言語オペレータ