自動機群

自動機群(automatic group)是一類具有較好的幾何性質並可由有限狀態自動機予以定義的群。

設P=(X;R>是群G的一個呈示,r為其凱萊圖並是一度量空間.對r中每一結點,選取若干單位元結點到此結點的道路構成集合z.,z也看做是x上某些字的集合.若L作為x上的一個語言是一正則語言,並且作為r中的道路又具有k伴侶性質,則稱G為自動機群.

相關詞條

熱門詞條

聯絡我們