Q <x> -> <x>
<x=stop> h -> <x>
<x> -> <x>