Sethi-Ullman algorithm

1. REDIRECT Sethi–Ullman algorithm

{{R from modification}}