| Версия 0.2 от 8.10.2003 | Информационно-справочный комплекс |
Автор: Тарас А. Шиян
E-mail: taras_a_shiyan@mail.ru
В основу положены материалы кандидатской диссертации автора.
Комплекс выполнен в рамках проекта
"Интернет-ресурс по формальным теориям",
грант РГНФ №03-03-12003в
Программные требования: поддержка просмотра vrml-миров.
VRML-клиенты под разные браузеры и операционные системы можно скачать с сайта:
http://www.parallelgraphics.com.
Информация по работе с комплексом. На графе представлено соотношение языков по множеству ППФ (правильно построенных формул). Связи между вершинами считаются направленными снизу вверх (на момент загрузки графа) и соответствуют отношению строгого включения ППФ "меньшего" языка в ППФ "большего". Узлы графа являются гиперссылками, загружающими описание языка в данное окно.