Это старая версия (1.1) ЯзыкAWK.

Awk -- язык программирования для обработки текста с синтаксисом похожим на Си.