«Распознавание и спецификация структур данных» А. В. Бабичев В работе представлен аппарат, позволяющий автоматизировать процесс анализа и верификации структур данных, организованных в виде множества ссылающихся друг на друга объектов. Подобные структуры данных можно рассматривать как размеченные ориентированные графы. Соответственно, спецификацию данных можно рассматривать как описание множества графов, удовлетворяющих некоторым заданным свойствам, а распознавание данных - как процедуру проверки заданного графа (заданной структуры данных) на соответствие спецификации. Идеологически представленный аппарат спецификации и анализа графов аналогичен технике использования теории конечных автоматов для распознавания текстов. Для специалистов в области теории алгоритмов и основ программирования, а также для аспирантов и студентов старших курсов соответствующих специальностей. Это и многое другое вы найдете в книге Распознавание и спецификация структур данных (А. В. Бабичев). Напишите свою рецензию о книге А. В. Бабичев «Распознавание и спецификация структур данных» http://izbe.ru/book/173948-raspoznavanie-i-specifikaciya-struktur-dannyh-a-v-babichev/