Исследования в теоретической информатике: объекты изучения