文章基本信息

标题：Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories
本地全文：下载
作者：Sebastian Küpper ; Barbara König ; H.J. Sander Bruggink 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2013
卷号：58
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：We consider recognizable languages of cospans in adhesive categories, of which recognizable graph languages are a special case. We show that such languages are closed under concatenation, i.e. under cospan composition, by providing a con-crete construction that creates a concatenation automaton from two given automata. The construction is considerably more complex than the corresponding construction for finite automata. We conclude by showing negative closure properties for Kleene star and substitution.