String rewriting

  1. REDIRECT Semi-Thue_system