К математическому и программному обеспечению СМП относятся: формализмы, используемые для задания лингвистических данных (словарей и грамматик); специальные (МП-ориентированные) алгоритмические языки; языки программирования.
Языки задания грамматик могут рассматриваться как языки программирования очень высокого уровня, допускающие сложные типы данных и ассоциированные операторы. Метаязыки описания данных обычно одинаковы для входного и выходного языков.
Формальными языками являются также языки описания словарей.
Алгоритмический язык (АЯ) характеризуется прежде всего классом алгоритмов, которые можно описать его средствами. Класс, в свою очередь, характеризуется объектами, с которыми работают алгоритмы. Поэтому при описании АЯ, ориентированных на МП, следует прежде всего указать на объекты соответствующих алгоритмов.
Основное программное обеспечение СМП дополняется вспомогательными программными комплексами, периферийными с точки зрения самого МП так называемыми front-end processors. К ним относятся средства, выполняющие следующие процедуры:
- 1) ввод данных;
- 2) коррекцию ошибок;
- 3) управление данными;
- 4) редактирование текста;
- 5) вывод текста;
- 6) коммуникацию (передачу данных);
- 7) выполнение и модификацию словарей и грамматик.
Все эти средства обычно имеются в распоряжении переводчика и постредактора на рабочих станциях или автоматизированных рабочих местах (АРМ). Они во многом совпадают с программным обеспечением других типов автоматизированных информационных систем, поэтому здесь не описываются. Следует только упомянуть системы управления базами данных (СУБД), которые могут использоваться в СМП для создания и ведения сложных словарных массивов и баз знаний.
В последнее время стоит вопрос о внедрении многоязычных СМП с распределенной обработкой: анализ в пункте ввода, синтез в пункте вывода (такова, например, система DLT). Для них первостепенное значение имеют вопросы коммуникации.