我有一个编程语言的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
我在react-js中有一个动态表单,我的一些元素是复选框/单选框,其中一个元素绑定了文本输入。
例如,问题是:你最喜欢的颜色是什么?
答案是:
- red
- blue
- green
- OTHER
和其他答案在它前面有一个文本输入,供用户在其中键入他的自定义答案。如何将复选框/单选按钮绑定到相关输入文本并获取其值?
我有下拉单选框"Month"和3选项“一月”、“二月”和“三月”,如下所示:
这是的代码--下拉单选框"Month" in "Date“类如下:
# "store/models.py"
from django.db import models
class Date(models.Model):
class Months(models.TextChoices):
JANUARY = 'JAN', 'January'
FEBRUARY = 'FEB