Формальные грамматики и языки. Элементы теории трансляциикнига