WEKO3
アイテム
An Application of Cohen's Result on Star Height to the Theory of Control Structures
http://hdl.handle.net/10191/21947
http://hdl.handle.net/10191/21947d47498f1-19ad-4f9b-a346-acc409d42ee1
名前 / ファイル | ライセンス | アクション |
---|---|---|
29_3_312-329.pdf (1.0 MB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-04-19 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | An Application of Cohen's Result on Star Height to the Theory of Control Structures | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
著者 |
Motoki, Tatsuya
× Motoki, Tatsuya |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | We apply a result/concept on star height to two problems in the theory of control structures. First, we generalize Kosaraju’s systems RE_n of control structures and show, by using Cohen’s result on star height, that the generalized systems constitute a path-wise hierarchy with respect to their expressive powers. Second, by using a concept on star height, we sharpen Peterson et al.'s result that RE_∞ is path-wisely complete. | |||||
書誌情報 |
Journal of Computer and System Sciences en : Journal of Computer and System Sciences 巻 29, 号 3, p. 312-329, 発行日 1984-12 |
|||||
出版者 | ||||||
出版者 | Elsevier | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 00220000 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA00251469 | |||||
DOI | ||||||
識別子タイプ | DOI | |||||
関連識別子 | http://doi.org/10.1016/0022-0000(84)90002-3 | |||||
著者版フラグ | ||||||
値 | author |