1. No category

2．3 形式言語のモデル化