重写系统相关论文
项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止......
作用于研究对象上的线性算子,在数学研究中起着重要的作用,比如微分代数中的微分算子(它是分析中微分算子的代数化)和Rota-Baxter......
L系统是虚拟植物研究的重要方法。本文描述了L系统的基本特征、图形解释含义,阐述了各类L系统的基本概念:D0L系统、随机L系统、上......
“我是谁？”——这个问题被称为世界三大终极哲学问题之一，至今都不存在一个被普遍认同的答案。“我是谁？”——从这个问题可以引申出......
虚拟世界不仅应该是交互的，而且应该是动态的、真实感强的，以便对用户更具有吸引力。文章提出了一个使用重写技术构建的虚拟现实系统......
当人们计算“1加1等于几”时，头脑中究竟发生了什么呢？对于这个问题，脑神经科学还无法给出一个确定的答案。但是显然绝大多数人都知道......
如果有一台机器，它所做的事情十分单一，就是把一个符号串中的一些字符替换成另外一些，反复替换后，这台机器就能实现通用计算。换句话说......
语言机制作为提供抽象的核心手段，在计算机技术飞速发展的今天并没有同样地高速发展，给软件的编写，维护带来很多困难。用户期望对领域......
