© 2014, Pleiades Publishing, Ltd. This is a short article based on the plenary lecture presented by the author at Algebra Computability and Logic conference in Kazan, June 1–6, 2014. The paper is a new approach that ...