タグ付けされた質問 「definitions」

2
抽象構文での構文カテゴリ/構文ドメインの正確な定義
私は言語の意味論(ゴードン、Winskel、ニールソン&ニールソン、アリソン、切り株、シュミット)をプログラム上での本のカップルの導入部分を読んでいる、と私は、彼らが何を意味するか理解している間、構文カテゴリ、または構文上のドメイン、私は」didnのtそれらの厳密で簡単な定義を見つけます。標準的な定義はありますか、おそらく以前の作品にありますか?
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.