抄録
A-010
Morphic Characterizations with Insertion and Locality in the Framework of Chomsky-Schutzenberger Theorem
藤岡 薫(九大)
Among the variety of representation theorems for context-free languages, Chomsky-Schutzenberger theorem is unique in that it consists of parenthesis languages, regular languages, and simple operations. This work concerns some characterizations and representation theorems of languages in Chomsky hierarchy by insertion systems, strictly locally testable languages, and morphisms in a similar way to the Chomsky-Schutzenberger representation of context-free languages. This work focuses on insertion systems with no context-checking or whose operation is controlled by a context of length 1.