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