这个问题是在一个样本考试上,我们的教授懒得输入答案,我被卡住了。提前感谢您的帮助!证明以下语言是上下文无关的{x is an element of {a,b,c}* | the number of a's in x is greater than the number of b'sor the number of c's in x}
我正在尝试编写一个PolishCalculator作为函数器,它根据StackADT接口接收堆栈实现,并使用它来计算以该表示法编写的表达式。a stack -> 'a val is_empty : 'a stack -> bool然后我尝试了一个具体的实现let empty = {c = []}
let pop stack = match stack.c