Распознавание и спецификация структур данных
 |
|
Описание:
В работе представлен аппарат, позволяющий автоматизировать процесс анализа и верификации структур данных, организованных в виде множества ссылающихся друг на друга объектов. Подобные структуры данных можно рассматривать как размеченные ориентированные графы. Соответственно, спецификацию данных можно рассматривать как описание множества графов, удовлетворяющих некоторым заданным свойствам, а распознавание данных - как процедуру проверки заданного графа (заданной структуры данных) на соответствие спецификации. Идеологически представленный аппарат спецификации и анализа графов аналогичен технике использования теории конечных автоматов для распознавания текстов. Для специалистов в области теории алгоритмов и основ программирования, а также для аспирантов и студентов старших курсов соответствующихспециальностей.Похожие книги
 | Графики функций: справочное пособие для вузов Автор: Райхмист Р.Б. Год: 1991 |
 | Ваш ребенок от четырех до семи Автор: Сергей Зайцев Год: 2007 |
 | Тесты по обществознанию Автор: Н. А. Федосова Год: 2003 |
 | Победы Третьего рейха. Альтернативная история Второй мировой войны Автор: Рут Сойер Год: 2005 |
 | Прикладная нелинейная оптика Автор: В. Г. Дмитриев, Л. В. Тарасов Год: 2004 |
