拟陷阱同步自动机的最短同步字的长度
Length of the Shortest Synchronizing Words for Quasi-trapped Synchronizing Automata作者机构:湖南科技大学计算机科学与工程学院湘潭411201 湖南科技大学机电工程学院湘潭411201
出 版 物:《计算机科学》 (Computer Science)
年 卷 期:2012年第39卷第11期
页 面:191-193页
核心收录:
学科分类:08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家自然科学基金(61272196) 湖南省自然科学基金(06A2025) 湖南省普通高校创新平台开放基金(09K084) 湖南省教育厅科学基金(10C0692)资助
主 题:拟陷阱同步自动机 陷阱同步自动机 最短同步字 强连通子自动机 C∨ern猜想
摘 要:既非陷阱也非强连通的同步自动机称为拟陷阱同步自动机。对于任意的拟陷阱同步自动机A,利用其强连通子自动机的状态数给出了A的最短同步字的长度的一个上界,进而获得了A满足C∨ern猜想的一个充分条件。