计算机科学 ›› 2003, Vol. 30 ›› Issue (6): 159-161.

• • 上一篇    下一篇

基于下推自动机的仿真模型形式化描述

方敏 王宝树 邱素蓉   

  1. 西安电子科技大学计算机学院,西安710071
  • 出版日期:2003-06-15 发布日期:2018-11-17

  • Online:2003-06-15 Published:2018-11-17

摘要: A particular discussion on the application of Pushdown Automator(PA)in the description of the simulation entity is made in this paper.It first introduces the mathematical model of PA,then it analyzes the conformation method of the simulation nesting entit

关键词: 计算机仿真 自动机 仿真模型 形式化描述 仿真软件

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!