Диаграмма Тьюринга, для тех, кто понимает Опции

[Clon]

Тут вот задачка попалась. Нарисовать диаграмму Тьюринга, которая вычисляет предикат "u подслово w" в латинском алфавите. Че-то туплю уже довольно долго, все мысли сводятся к сумашедшим по размерам разветвлениям и прочей лаже. Если кто сможет подсказать - буду очень рад.