Synchronous algebras provide an algebraic structure tailored to recognize automatic (synchronous) relations, which are a natural generalization of regular languages to binary relations.
