自动机泛函ORANPIA—函数程序设计的自动机策略思想 |
| |
引用本文: | 江渊明
,德健生.自动机泛函ORANPIA—函数程序设计的自动机策略思想[J].电子科技大学学报(社会科学版),1987(2). |
| |
作者姓名: | 江渊明 德健生 |
| |
摘 要: | 本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。
|
关 键 词: | 自动机 泛函 函数程序设计 作用式语言 程序设计风格 束流 怠惰计算 |
本文献已被 CNKI 等数据库收录! |
|