FLOW LANGUAGES EQUAL RECURSIVELY-ENUMERABLE LANGUAGES

被引：13

作者：

ARAKI, T

TOKURA, N

机构：

来源：

ACTA INFORMATICA | 1981年 / 15卷 / 03期

关键词：

D O I：

10.1007/BF00289261

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：209 / 217

页数：9

相关论文

共 4 条

[1]

CAMPBELL RC, 1974, STATISTICS BIOL, P89

[2]

Minsky M., 1967, COMPUTATION FINITE I

[3] SOFTWARE DESCRIPTIONS WITH FLOW EXPRESSIONS [J].

SHAW, AC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (03) :242-254

[4]

[No title captured]