> Редактор ДОПУСКАЕТ символьный ввод ТОЛЬКО в нужных местах. Программист просто не сможет изменить ключевое слово, стереть скобку и т.д.

Это неправильно. Резко уменьшаются возможности редактирования.

Часто из одного корректного текста можно перейти к другому корректному тексту только через некорректный.

Пример:

int a; 
...
a = 1;

Перед нами стоит задача поменять тип переменной a на строковый.
У нас это не получится, потому что тип a мы не сможем поменять, потому что есть присваивание числа, а поменять a = 1 на строку тоже не сможем, потому что a объявлена как int.

Именно, поэтому системы, которые поддерживают только корректный ввод данных — обречены.