自動関係のための代数

同期代数は、自動関係(同期関係または正則関係とも呼ばれる)を認識するための代数的構造である。これらは正則言語のためのモノイドの等価物であるが、2つの点で概念的に異なる:第一に、型付けされており、第二に、異なる型の要素間の依存関係を表す依存関係を備えている。