1) {S1, P1, Q1, M1, S2, P2, Q2, M2, ..., Sn, Pn, Qn, Mn, ...}
DCST;2) (t1, t2 є DCST) => (t1´, (t1
t2), (t1
t2) є DCST).Класс термов: DCST.
Определение класса DCST:
1) {S1, P1, Q1, M1, S2, P2, Q2, M2, ..., Sn, Pn, Qn, Mn, ...}DCST;
2) (t1, t2 є DCST) => (t1´, (t1t2), (t1t2) є DCST).