Спасибо.

Я не совсем точно выразился, - имелось в виду: "НЕ ОБЯЗАТЕЛЬНО универсальная".

Т.е. если совсем уж упростить-уточнить:

1) МТ, способная вычислить элементарную функцию (и только: универсальность, скорость, память нас не заботят) Цель: минимизировать алфавит, число состояний и сложность функций перехода.
Навскидку, Ваше мнение-догадка: каковы могли бы быть эти минимальные параметры?