Number: CS 59/93
Author(s): KALJULAID, Uno, MERISTE, Merik, PENJAM, Jaan.
Title: Algebraic theory of tape-controlled attributed automata.28p.
Language: English
FULL REPORT AVAILABLE: ftp greta.cs.ioc.ee\pub\CS_Reports\CS59_93.ps.Z
ABSTRACT. Compositional theory of tape-controlled attributed
automata is considered together with related developments in
formal languages theory and algebra. It is proven that a class of
finite automata defines a Grothendieck topology and the
conditions are developed when a set of states of an automation
determines a sheaf of sets of objects in the induced topological
category. These two results are expected to be used in the proof
that the induced fiber product of a Grothendieck topology is
suitable for decomposition of tape- controlled attributed
automata.