>>476
確かに形式言語論で取り扱う言語は記号の並びだが、
だからといって記号処理とは言わんと思う