Аннотация:
Процессы в графах используются для описания процессов, протекающих в конвейерных системах. В статье изучаются свойства синтаксических конгруэнций языков процессов. Получены необходимые и остаточные условия конечности синтаксических конгруэнций. Доказана нераспознаваемость множества всех конечных процессов в моноиде треков. Библ. – 4 назв., рис. – 5.