關于若干語言及其句法半群的研究.pdf

1、本文主要利用句法同余和句法[幺]半群對語言進行刻畫與分類。首先，利用solid碼的理論，解決了郭聿琦，C．M．Reis和G．Thierrrin于1988年提出的問題“是否每一個fd-轄區(qū)都是一致稠密的?”。其次,提出了半群中的，I-擬長度的概念。對帶I-擬長度的半群進行了詳細的刻畫。給出了一類帶I-擬長度的半群是句法半群的一個十分簡單的判定條件，這類半群包含有限生成的帶[O-]擬長度的半群，有限π-群以及有限逆半群的有限詣零擴張等為其子

2、類。利用這個部分的理論，我們對曾經(jīng)被許多學者研究過的以下問題給出了完滿的回答：“如何刻畫f-析取語言的句法[幺]半群?”，“什么樣的f-析取同余是句法同余?”。最后，我們對多種語言類進行了討論。先給出了一些有關語言類的基本概念，討論了語言類與幺半群類之間代數(shù)封閉性的聯(lián)系。隨后對各種廣義析取語言進行了系統(tǒng)的討論，給出了這些語言類的句法幺半群刻畫以及層次關系。另外，我們還研究了一類廣義正則語言，它不但是正則語言和薄語言的共同推廣，而且與許多