这种语言是什么？

Question

我是初学者，我正在做一些语法练习。 例如：

L (0 ^ n 1 ^ m 2 ^ k such that n = m and m = k)

我不明白，如果n = 1意味着m = 1，那么k = 1？

我发现了两种可能的语法：

TYPE 0（图灵机）

S => e | ABC | SABC
A => 0
B => 1
C => 2
20 => 02
10 => 01
21 => 12

或

S => e | 0SBC | 0BC
0B => 01
1B => 11
1C => 12
2C => 22
CB => BC

Answer 1

是的，n = m and m = k如果n = 1则m = 1，k = 1。n = m and m = k。

请注意，n = m = k也写为n，两者都表示所有三个变量m k和{{1}}具有相同的值并且彼此相等，由于平等的传递性。