8.14. Лемма

Множество состояний S0, являющееся суммой неких S1 .. SN с селектором sel

S0 = ∑sel(Si), (i = 1..N)

является также прообразом для каждого своего слагаемого Si, (i = 1..N).

Доказательство

Непосредственно следует из определения 8.13, согласно которому для каждого состояния s из Si в S0 найдётся его прообраз. █

Назад Вперёд