%0 Journal Article %T 一个求强连通自动机的自同构群的多项式算法 %A 李慧陵 %J 科学通报 %D 1986 %I %X 在本文中,所谓自动机是指一个体系(?)=(S,∑),其中S为一个集合,其元素称为状态,∑为一个集合,其元素称为字母,并且对任何s∈S和σ∈∑,都有一个状态与之对应,并记作s~σ。∑的字母的有限序列称为字。称(?)是强连通的,如果对任何两个状态s,s′∈S都有∑上的字ω=σ_1σ_2…σ_i,使s~ω=s′,其中s~ω=(((s~(σ_1)~σ_2)…)~σ_t。称S到自身的一个1-1映 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=09030FC2470D913663B86D6D98DCE84D&yid=4E65715CCF57055A&vid=4AD960B5AD2D111A&iid=0B39A22176CE99FB&sid=CFAC5CB624A41AFD&eid=CFAC5CB624A41AFD&journal_id=0023-074X&journal_name=科学通报&referenced_num=1&reference_num=0