Большой русско-английский словарь РЕГУЛЯРНЫЙ вывод мат. regular deduction, regular derivation, regular inference