💸 Как сделать бизнес проще, а карман толще?

Тот, кто работает в сфере услуг, знает — без ведения записи клиентов никуда. Мало того, что нужно видеть свое раписание, но и напоминать клиентам о визитах тоже. Проблема в том, что средняя цена по рынку за такой сервис — 800 руб/мес или почти 15 000 руб за год. И это минимальный функционал. Нашли самый бюджетный и оптимальный вариант: сервис VisitTime.
⚡️ Для новых пользователей первый месяц бесплатно. А далее 290 руб/мес, это в 3 раза дешевле аналогов. За эту цену доступен весь функционал: напоминание о визитах, чаевые, предоплаты, общение с клиентами, переносы записей и так далее.
✅ Уйма гибких настроек, которые помогут вам зарабатывать больше и забыть про чувство «что-то мне нужно было сделать».
Сомневаетесь? нажмите на текст, запустите чат-бота и убедитесь во всем сами!

Индуктивный переход

Пусть = a - произвольное слово длины m = k + 1. Тогда справедливы соотношения:

1) () = () Y (a, F^*(, q ⁱ);

2) () = () y(a, j^*(, q _x(i))).

По индуктивному предположению ()= ().

Покажем, что y(a, F^*(, q ⁱ) = y(a, j^*(, q _x(i))).

Пусть j^*(, q_{x (i)}) = q _j. Тогда из вспомогательного индуктивного предположения следует, что состояния q _j и q_{x ( r )}, где q ^r = F^*(, q ⁱ) - неотличимые.

Поэтому справедливы равенства, доказывающие справедливость индуктивного перехода для основного свойства:

Y(a, F^*(, q ⁱ) = Y(a, q ^r) = y(a, q_{x (r)}) = y(a, q _j)= = y(a, j^*(, q_{x (i)})).

Покажем справедливость индуктивного перехода для вспомогательного утверждения.

Рассмотрим состояния j^*( a, q_{x (i)}) и q_{x (h)}, где q ^h = F^* ( a, q ⁱ). Покажем, что эти состояния неотличимые.

Так как q _j и q_{x ( r )} Î Q _r, то состояния j^*( a, q_{x (i)}) и j(a, q_{x ( r )}) являются неотличимыми.

Так как q ^h = F^*( a, q ⁱ)= F(a, q ^r), то h = h (j (a, q_{x (r)})).

Следовательно, h = h (j (a, q _j)).

Значит, j(a, q _j), j(a, q_{x (j)})Î Q_{h .}

Поэтому состояния j^*( a, q_{x (i)}) и q_{x (h)}, где q ^h =
F^*( a, q ⁱ), являются неотличимыми.