PTT
Submit
Submit
選擇語言
正體中文
简体中文
PTT
PLT
[問題] BNF中的 定義為
作者:
v3dys6f3a3j5
(柳上上)
2016-03-10 19:14:15
BNF中的"定義為"
表示成 ::= 也可以說是 →
那 := 是甚麼意思
有看到有些人都混用 這三個意思都相同嗎
不過有段推論過程是這樣的
<assign> ::= id := <exp>
::= id := <exp>
:= <exp> + <term>
:= <term> + <term>
.
.
.
.
第一行id前後兩個的差別在哪?
作者:
carelai
(我心依舊)
2016-03-13 19:42:00
of course not the same. ::= is in meta-language,while := is in object language.
繼續閱讀
[心得] 使用 erlang 開發產品的心得
drm343
[情報] Functional Thursday #36
CindyLinz
Re: [情報] Functional Thursday #35
CindyLinz
[情報] Functional Thursday #35
CindyLinz
[情報] Types and PL 高雄第三次線下讀書會
drm343
[情報] Functional Thursday #33
CindyLinz
[問題] 想要用coding來寫一段文案
yukijohn
[情報] Types and PL 高雄線下讀書會
drm343
[問題] How useful is category theory to PLT?
carelai
[問題] 有人能很好地講解一下Scott semantics嗎?
carelai
Links
booklink
Contact Us: admin [ a t ] ucptt.com