饒淑珍 聶 佳 過榴曉 朱 平

（江南大學(xué)理學(xué)院 江蘇·無錫 214122）

0 引言

1 基本概念

2 主要結(jié)果

定理4 某形式語言是正則語言時，該語言的子集未必是正則語言。

下面分兩方面說明定理的正確性。

1)正則語言的子集可能是非正則語言。

圖1 泵引理使用過程變化示意圖

圖23狀態(tài)轉(zhuǎn)移圖

4 結(jié)語

形式語言與其子集相關(guān)性質(zhì)研究可以為形式語言的分類提供便利。本文基于泵引理和正則語言代數(shù)判定定理，說明了正則語言子集未必是正則語言，并給出了具體實例，最后將結(jié)論推廣到上下文無關(guān)語言中。