Universality of Regular Realizability Problems for Finite Relations

The paper proves the universality of regular realizability problems for several classes of finite relations on the set of non-negative integers, where the relations are described in a specific format. The universality is shown up to reductions using NP-oracles.