我有点困惑,我想在https://ens.domains/上买一个域名,而且一个域名的价格非常高,大约是150美元。这一价格大部分来自汽油费。令人困惑的是,ens告诉我下面的Estimated Total (Price + Gas). The gas price is based at 130 Gwei,而在https://ethgasstation.info/中,汽油价格是83。在ens是130,在and是83。对吗?为什么ENS会考虑更高的汽油价格?另外,在ENS中有什么方法可以看到估计的总量是如何计算的呢?
我有一个编程语言的AST的数据类型,我想解释一下,但AST大约有10个不同的构造函数。
data Term : Set where
UnitTerm : Term
VarTerm : Var -> Term
...
SeqTerm : Term -> Term -> Term
我正在尝试编写一个函数,它对这种语言的语法树具有可判定的等价性。从理论上讲,这很简单:没有什么太复杂的,它只是存储在AST中的简单数据。
问题是,编写这样一个函数似乎需要大约100个用例:对于每个构造函数,有10个用例。
eqDecide : (x : Term) -> (y
你能解释一下吗,我怎么能检查一下,第一个上下文无关语法(G1)的语言是第二个上下文无关语法(G2)语言的子集。
G1和G2是两个字母相同的LL(1)语法:
{a, b, c, d, f}
生产规则如下:
A -> αB
或
A -> α
α是一个非epsilon字符串(由终端符号组成).
上下文无关语法G1:
S1 -> aK
K -> bC|cE
C -> cB|d
E -> bA|f
A -> abC
B -> acE
上下文无关语法G2:
S2 -> aX
X -> bZ|cY
Z -> cV|d
Y -> bU