ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
2000, ТОМ 6, ВЫПУСК 3, СТР. 831-840
А. Е. Пентус
М. Р. Пентус
Аннотация
Посмотреть как HTML
Посмотреть как рисунок
Посмотреть в формате LaTeX
В статье вводится понятие C-системы,
предназначенное для представления синтаксических объектов
формальных систем, основанных на графах.
В качестве примера таких формальных систем рассматриваются
иерархические сети Петри.
Полнотекстовая версия статьи в формате PostScript (57 Kb)
| Главная страница | Содержание журнала | Новости | Поиск |
URL страницы: http://mech.math.msu.su/~fpm/rus/k00/k003/k00314t.htm
Изменения вносились 8 декабря 2000