摘要
本文谰述了目前超文本系统中常用的形式化模型,它们分别基于图论、网论、逻辑和集论。
This paper makes a survey of the currently used formal models of various hypertext systems, whichare graph-based, Petri-net-based, logic-based and set-based respectively.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1995年第3期45-50,共6页
Journal of Computer Research and Development
关键词
超文本
多媒体
形式化模型
hypertext, document, graph, Petri-net, logic, set.