(ｌワｌ)→(＞ワ＜)→(＞ε＜)

• (ｌワｌ)→(＞ワ＜)→(＞ε＜) (1)