Хотя это не моя область, но я это время от времени преподаю (в Англии) и в статьях по моим темам это преобразование регулярно упоминается. Мне кажется, что я никогда не видел глагола – всегда "обходные выражения", как Вы пишете. Но я и никогда специально внимания не обращал на это.
(По-русски они детерминированные и недетерминированные, однако глагола я тоже не припомню.)

Может быть, спросить на mathoverflow?