Конгруэнция на автомате

Конгруэнцией на автомате A=(A,X,B)  называется тройка эквивалентностей ρ =(ρ123), где ρ1 - эквивалентность на множестве A, ρ2 - на множестве X, ρ3 - на множестве B, удовлетворяющая условиям: для любых a1,a2 ∈ A, x1,x2 ∈ X

если a1 ρ1 a2,  xρ2x2, то (a1 ∘ x11(a2 ∘ x2), если  a1ρ1a2, xρ2 x2, то  (a1 ∗ x13(a∗ x2).

 

» Терминология