Конечные автоматы

[ImmortalAlexSan]

Здравствуйте. Скажите пожалуйста, как вы понимаете все ниженаписанное:
1. Построить МП-автомат. Показать последовательность его конфигураций для распознавания.
{wwr | w={{a.b}+}, здесь r – реверсия цепочки;

2. Построить МП-автомат который будет выполнять следующие переводы:
bi в (bi+1)r, где bi – цепочка из нулей и единиц, являющаяся бинарным представлением числа i, здесь r – операция побитовой инверсии;

Я не понимаю, что такое {, w, r, } и . в первом случае. Как это читается все вместе? И почему нет второй парной скобки?
Вот что выделено жирным, что это вообще за бред?!

Написал, а теперь вот что в голову пришло... по п.2:
i - это число, i+1 - это же число + 1, b - обозначение перевода в бинарный вид, r - это понятно что. Получается, что автомат просто прибавляет к введенному числу единицу и побитово инвертирует его? Правильно я понял?
Что касается п.1. ничего не понятно. Объясните пожалуйста.

[ImmortalAlexSan]

АПП

[Pavia]

1) первая всё просто.
Помись регулярных вырожений с матимотической нотацией. {{ - одна скобка лишняя.
w={a.b}+
"." - любой символ.
"a" и "b" это и есть a и b.
+ повторение от 1 раз до бесконечности.

wr - реверсия w.
{b.a}{+r}
Реверс плюса, это повторение от бесконечности до 1 раза.

Т.е. автомат wwr должен расспозновать строки типа
a.bb.a
a.ba.ba.ba.bb.a.b.a

2) незнаю плюс это битовое сложение или конкатенация. Думаю что второе. Хотя скобки круглые так что сдвайте как битовое сложение)
b1=1
b2=10
b3=11
b4=100

[ImmortalAlexSan]

Спасибо. Чтобы я без вас делал!