《一元半群的簇及其套用》是依託華南理工大學，由唐西林擔任項目負責人的面上項目。
基本介紹
- 中文名：一元半群的簇及其套用
- 項目類別：面上項目
- 項目負責人：唐西林
- 依託單位：華南理工大學
- 批准號：10571061
- 申請代碼：A0104
- 負責人職稱：教授
- 研究期限：2006-01-01 至 2007-12-31
- 支持經費：15（萬元）
項目摘要
P與NP問題是當今計算機數學中最為重要的問題。它的基礎建立在形式語言與自動機理論之上。而形式語言的研究即是對自由半群的研究，自動機也可以看成是一個自由半群對於一個集合的作用。. 本項目主要研究一元半群的簇的理論，包括字問題、自由對象、生成關係（完全不變同餘）、子簇格等問題。探討自由半群及其同餘與形式語言以及自動機的內在關係。非平凡的一元半群是一類非常廣泛的半群，它包含正則半群，完全正則半群、具有逆
