semi-Thue grammar

  1. redirect Semi-Thue system