semi-algorithm

  1. REDIRECT RE (complexity)