逻辑自动机分析中的递归泛函方法 |
| |
引用本文: | 楼荣生.逻辑自动机分析中的递归泛函方法[J].复旦学报(自然科学版),1964(3). |
| |
作者姓名: | 楼荣生 |
| |
摘 要: | §1.引言所谓逻辑自动机(logical automata),指的是一种逻辑结构,它的唯一功能是对给予它的刺激作出相应的反应.这种刺激与反应通常由一连串的离散的信号组成,分别叫做自动机的输入与输出.对于那些出现信号的时刻,从自动机开始工作的时刻算起用非负整数给予编号以后,每一输入与每一输出就表现为一个从非负整数到信号集的映照.再进一步地对所有可能出现的信号用非负整数编号后,输入与输出就表现为以非负整数为定义域及值域的函数,而一个给定的自动机就表现为以这些函数作为自变元及值的泛函.
|
本文献已被 CNKI 等数据库收录! |
|