|
JAIST Repository >
f. 情報社会基盤研究センター >
f10. 学術雑誌論文等 >
f10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/3307
|
| タイトル: | The evaluation strategy for head normal form with and without on-demand flags |
| 著者: | Nakamura, M
Ogata, K |
| 発行日: | 2000 |
| 出版者: | ELSEVIER SCIENCE B.V AMSTERDAM |
| 誌名: | Electronic Notes in Theoretical Computer Science |
| 巻: | 36 |
| 開始ページ: | 212 |
| 終了ページ: | 228 |
| DOI: | 10.1016/S1571-0661(05)80143-4 |
| 抄録: | We propose two conditions of the E-strategy with and without on-demand flags on which an evaluated term is always in head normal form. In rewriting with the E-strategy without (or with) on- demand flags, terms are evaluated according to a list of natural numbers (or integers) given to each function symbol. The first (or second ) condition is that if there exists a rule such that a function symbol f occurs in its left-hand side and its i-th argument is not a variable, a list of f must contain i(or －i), and if f is also a defined one, a list of f must contain 0 at the end. While there is no restriction w.r.t. the first condition, the second one can only be applied to left-linear constructor TRSs. But, There are cases in which rewriting with the E-strategy with on-demand flags terminates properly while that with the E-strategy without on-demand flags does not. We also propose a method of obtaining normal forms if a way to get head normal forms is given. |
| Rights: | Elsevier B.V., Masaki Nakamura and Kazuhiro Ogata, Electronic Notes in Theoretical Computer Science, 36, 2000, 212-228.
http://www.sciencedirect.com/science/journal/15710661 |
| URI: | http://hdl.handle.net/10119/3307 |
| 資料タイプ: | author |
| 出現コレクション: | f10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| S-66.pdf | | 281Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
