МАТЛОГИКА: Решить машину Тьюринга

Решить машину Тьюринга:

с новой строки:   Ty        пробел    g(x;y)

 с новой строки :    F(x;y) =(*сумма по i=0 до y)  от g(x;i)

с новой строки:    Tf-?

с новой строки:   *= сигма (знак суммы) снизу под  сигмой i=0, сверху y(игрек). После сигмы функция g(x;i)