Backreferencing
Non-Deterministic Finite Automaton
Sorting
Heaps!