rk2 variants 8, 23, epsilon

[HumsterProgrammer]

Старые наработки. В будущем доделаю, так что пока оставляю как draft, может уже получится выудить некоторые ошибки

[TonitaN]

Т.е. ревью пока не предполагается?

[HumsterProgrammer]

Т.е. ревью пока не предполагается?

Варианты вроде рассмотрены на минимум(вроде только epsilon нужно доказать не КС языка), но оставшиеся ачивки и дополнительные варианты доказательств не разобраны. Если вы посмотрите, то я буду рад, но доделывания еще будут.

Могу дополнительно тегнуть, когда все будет готово, еще раз перечитано и поправлено.

[TonitaN]

Кто там забыл, как раскрывать квадрат разности?)

[TonitaN]

В положительную сторону накачать префикс можно, нужно чуть-чуть уточнить формулировку.

[TonitaN]

Неплохо бы расшифровать значения нетерминалов)

[TonitaN]

Как раскрывается квадрат разности? ))

[HumsterProgrammer]

Всякое бывает, в том числе и такие ошибки. Как раскрывается то знаю $(a - b)^2 = a^2 - 2ab + b^2$
Исправлю. По сути своей всегда возможны даже такие глупые ошибки.

[TonitaN]

Согласна. У всех бывает.

[TonitaN]

Просто приведите бесконечное число классов формально "уравновешенных" слов, с кавычкой внутри)

[TonitaN]

А зачем в минимальном НКА состояние-ловушка? )

[TonitaN]

Тут кстати допустимы и некорректные имена е-переменных (если [Num] сразу раскрывается в пустое слово). Для ТФЯ это не важно, но чтобы не смущать неокрепшие умы, в решении стоит этот момент упомянуть.

[TonitaN]

Тут подсказывать ничего не буду, сведение к известному языку очевидно)