Системы автоматизации геофизических исследований / ред. И. А. Кузьмин ; Акад. наук СССР, Кол. науч. центр, Поляр. геофиз. ин-т. – Апатиты : [б. и.], 1984. – 112 с.

(s id’ 11' j1 (a kl , з^-i). Тогдалюбойпуть, начи­ нающийсяизвершиныв^, определяетпродолжениепути Функцияперехода °пРвД0ЛЯ0Т направлениепереходамеждувершинами иак1. Допустимым награфеооотоянийаявляетсялюбойпуть, вкоторомустраненыпротиворечивые дуги, тоестьисключенысмысловыепротиворечияпоиспользованиюэлементарных оостояний. НаграфеобстоянийопределяетсяконечноемножествоM(S) допусти­ мыхпутей. Укрупненномусоотояниюпроцессаз±соответствуетнаправленный путь - тотдопустимыйпутьизм(з), вкоторомaij - начальнаяиskl - конечнаявершиныпути. Ставитсязадачапостроениянаправленногопутидля произвольногоукрупненногосостоянияSj, определенногоцепочкойзапросовпо­ строенияпослеобработкиописанийнаязыкепрограммированияКАМАК-структур. ДляпостроенияSj допустимыйпутьизM(s) ограничиваемцепочкойзапросовпо­ строенияитемсамымвыбираемлишьнужныесостояния. Впроцессепостроения произвольныхсостоянийстроитсятаблицарешенийT(s), гдевкачествеусловий выступаютэлементарныесостоянияsi^ , вкачествеправил- укрупненныесостоя­ нияsk , авкачествеуказателейдействий- функциипереходов Иллюстрацияпостроенияпути: а) начальноесостояние Упорядочениянет, базисныевершинысвя­ занылишьсвершинойнеопределенностиI. Определенытриукрупненныхсостояния, s 1 и - разрешимы, a s2 требуетучас­ тияоператораповводууточненийили описаний. Втаблицерешенийэтажеситуацияотражается следующимобразом: а б '1 11 12 13 21 22 23 I II I 12 I 13 I 21 I 22 I 23 311 312 313 321 322 З23 У У N У N н I f f 12 11 21 11 21 12 N N У N У 5 ,22 Ч з N N И N У р23 23 Н И. N N У N 22 44