TS jako výpočetní model
Definice:
Nechť
M
=
(
Q
,
S
,
G
,
R
,
s
,
F
)
je
T
S. TS
M
vyčísluje
n-
nární
f
unkci
f
následujícím způsobem:
s
D
x
1
D
x
2
…
D
x
n
|
–
*
f
D
y
, kde
f
Î
F
právě tehdy když
f
(
x
1
,
x
2
,…,
x
n
) =
y
.
Illustra
ce
:
x
1
s
D
…
D
x
2
x
n
D
…
D
D
D
y
f
D
D
…
D
f
(
x
1
,
x
2
,…,
x
n
) =
y
17/45