Synchronous Algebras: An Algebraic Framework for Automatic Relations

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