有人认识这个陌生的符号吗？

Question

我在编程语言课程的测试中遇到了一个令我困惑的问题。

给出上下文无关语法来生成以下语言

L = { 一个^我乙^jC^k | 0 <= i <= j <= i + k}

我对这个符号完全不熟悉。我似乎在书中或我的笔记中找不到任何内容，而且我不知道如何在谷歌上查询答案。

如果您认识它，它叫什么名字，是什么意思？

Answer 1

一个^ I只是意味着重复了i次。所以^ 2 = AA，B ^ 10 = bbbbbbbbbb等

Answer 2

经常，

• {} 意思是“一组”
• | 意思是“这样”

我不知道什么 a, b, c 是。 i 和 j 是非负数，大于或等于零。按照惯例，这些字母是为整数保留的。事实是

i <= i + k

意味着 k 也是非负的。

如果 a, b, ， 和 c 是实数，那么在我看来 L 只是一组实数。然而，这似乎是一种非常人为且复杂的指定方式。那会像博士一样。邪恶密谋杀死奥斯汀·鲍尔斯。

所以你有“a 的 i 次方 b 的 j 次方 c 的 j 次方的集合，使得 i、j 和 k 为正，并且 j 大于或等于 i ...”等等。