Барашко, Анатолий Сергеевич Исследование по теории сложности вычислений и формальным языкам / А. С. Барашко, В. А. Липская, С. И. Ройзен. - Киев : Наукова думка, 1978. Subjects--Index Terms: საინფორმაციო სისტემები ფორმალური ენები