автоформалізація
заформалізований
максималістський
ненормалізований
неформалізований
ортонормалізація