text: Термин «инженерная» здесь подчеркивал суть исследований, которые проводились на стыке наук: лингвистики, математики и информатики, и неизменным требованием к которым была реализация конечного результата и доказательность.