本文对直接递归过程与间接递归过程的谓词变换语义给出了形式化的定义。
This paper presents the formal definitions of predicate transformer seman-rics for both direct and indirect recursive procedures using the concept of WP.
对刚开始接触计算机编程的人而言，这里有递归的一个简单定义：当函数直接或者间接调用自己时，则发生了递归。
For those of you who are new to computer programming, here's a simple definition of recursion: recursion occurs when a function calls itself directly or indirectly.
针对仿射非线性系统，提出了一种新型的基于动态递归模糊神经网络(DRFNN)的间接自适应控制器。
A novel indirect adaptive controller based on dynamic recurrent fuzzy neural network (DRFNN) is proposed for affine nonlinear system.
针对仿射非线性系统，提出了一种新型的基于动态递归模糊神经网络(DRFNN)的间接自适应控制器。
A novel indirect adaptive controller based on dynamic recurrent fuzzy neural network (DRFNN) is proposed for affine nonlinear system.
应用推荐