Перевод в точной форме не найден...
Вы знаете перевод слова "формализованный"? Добавьте его в словарь.