Начните с языка, подобного {a^n c b^n | n >= 0}
, который будет иметь правило, которое потребляет a
для каждого b
, и наоборот:
S -> A | ε
A -> aAb | c
Затем используйте тот факт, что другой способ сказать m >= n
значит сказать m = n + k | k >= 0
. Таким образом, вы можете выразить свой язык как {a^n c b^n b^k | n >= 0, k >= 0}
, который я оставлю вам в качестве упражнения для построения.
Попробовать $\stackrel{top}{bottom}$
Вы хотели бы что-то вроде этого:
$X \stackrel{+}{=} Y$
Это располагает знак "плюс" выше, равняется знаку. Например, следующий код:
$K(x,y|z) \stackrel{+}{=} K(x|z) \stackrel{+}{<} I(x:y|z)$
производит следующий вывод:
Всесторонний ЛАТЕКСНЫЙ Список Символа (отсюда) является большим ресурсом, и запустите для вопросов как это. Вы могли также связаться с автором, возможно, что он сделал некоторый Латексный вуду (математические диакритические знаки и такой), чтобы заставить это работать.
Всего наилучшего.
PS: разве \pm не плюс - минус, не плюс - равняется?
Вот список Латексных Математических символов. Я не вижу два от PDF, с которым Вы связались. Вы знаете то, что они имеют в виду? Вы смогли находить эквивалент в Латексном списке.