формалізований

Participle

 * : formalized