Математическая символика позволяет сжимать запись информации, делать ее обозримой и удобной для последующей обработки. В последние годы появилась новая линия в развитии формализованных языков, связанная с вычислительной техникой и использованием электронных вычислительных машин для управления производственными процессами. Необходимо общение с машиной, надо предоставить ей возможность в каждый момент самостоятельно выбирать правильное в данных условиях действие. Но машина не понимает обычную человеческую речь, с ней нужно «разговаривать» на доступном ей языке. Этот язык не должен допускать разночтений, неопределенности, недостаточности или чрезмерной избыточности сообщаемой информации...