semialgorithm

  1. REDIRECT RE (complexity)