异步自动机半群(英文)  

Asynchronously automatic semigroups

作　　者：林汉玲[1] 王晓峰[1] 

机构地区：[1]深圳大学理学院,深圳518060

出　　处：《深圳大学学报（理工版）》2006年第2期141-146,共6页Journal of Shenzhen University(Science and Engineering)

基　　金：国家自然科学基金资助项目(10271119)

摘　　要：首先给出异步自动机半群的定义,并讨论其基本性质.证明了如下结果:异步自动机半群的字问题在指数时间内可解,任一异步自动机半群具有唯一性的异步自动机结构,异步自动机半群具有“伙伴旅游者”的性质.We show that the word problem of asynchronously automatic semigroups is solvable in exponential time, an asynchronously automatic semigroup has an asynchronously automatic structure with uniqueness and an asynchronously automatic semigroup satisfies k-fellow traveller property. Some other properties are also proved.

关 键 词：异步自动半群 自动机 正则语言 字问题 

分 类 号：O152.7[理学—数学]