1) Редагування (контроль і виправлення) має свої спеціальні методи виконання. Методи редагування — це послідовності процедур, які дають змогу відшукувати в окремих компонентах повідомлення відхилення від норм та виправляти їх. Методи редагування можна розділити на формалізовані й неформалізовані (творчі).
- ) До формалізованих належать такі, для реалізації яких можна задати послідовність процедур, що використовують мінімум семантичних характеристик компонентів повідомлення. До неформалізованих (творчих) належать ті, для реалізації яких важко або неможливо (принаймні, на цьому етапі розвитку редагування) задати чітку послідовність процедур, а тому, як правило, використовують велику кількість семантичних характеристик компонентів повідомлення.
3) Неформалізовані методи найчастіше використовують для контролю різноманітних положеннєвих норм.
Одна з норм логіки задає, що в означенні повинні бути вказані тільки суттєві ознаки означуваного об'єкта. Проконтролювати її дотримання можна лише шляхом семантичного аналізу повідомлення.
