「抽象機械」の版間の差分
削除された内容 追加された内容
エラー回避 など |
→関連項目: 抽象機械と抽象解釈は関係ない。抽象解釈の語の「抽象」の意味からは、抽象機械が対象とするプログラムは具象の領域である |
||
70行目:
==関連項目==
*[[抽象化 (計算機科学)]]
*[[:en:Discrete time]]
*[[:en:State space]]
|
エラー回避 など |
→関連項目: 抽象機械と抽象解釈は関係ない。抽象解釈の語の「抽象」の意味からは、抽象機械が対象とするプログラムは具象の領域である |
||
70行目:
==関連項目==
*[[抽象化 (計算機科学)]]
*[[:en:Discrete time]]
*[[:en:State space]]
|