TS jako výpočetní model
Definice: Nechť M = (Q, S, G, R, s, F) je TS. TS M
vyčísluje n-nární funkci f následujícím způsobem:
sDx1Dx2…Dxn |–* fDy, kde  f Î F právě tehdy když
f(x1, x2,…, xn) =  y.
Illustrace:
x1
s
D
…
D
x2
xn
D
…
D
D
D
y
f
D
D
…
D
f(x1, x2,…, xn) = y
17/45