Быстрые алгоритмы распознавания эквивалентности в моделях программ с коммутирующими операторамистатья