Forest Categories

01/12/2018
by   Howard Straubing, et al.
0

We extend Tilson's theory of the algebra of finite categories, in particular, the Derived Category Theorem, to the setting of forest algebras. As an illustration of the usefulness of this method, we provide a new proof of a result of Place and Segoufin characterizing locally testable tree languages.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset