期刊文献+

字的组合的半群方法 被引量:6

Semigroup Method in Combinatorics on Words
下载PDF
导出
摘要 该文利用半群方法给出了语言的一些代数性质.首先,讨论了稠密语言的半群结构,给出了包含语言w(wk)(其中w∈A+,k是正整数)的一个稠密语言类;证明了稠密正规语言包含一个字与一个稠密正规右酉幺半群的积.其次,讨论了自由幺半群的正规分支可分解性,证明了自由幺半群及正规分支可分解语言与正规分支可分解的后缀语言的积是正规分支可分解的;应用这些结果证明了Shyr和Yu关于正规语言的两个猜想. Semigroup method and Combinatorics method are two important techniques in the study of words and languages. This paper presents the semigroup method and explore languages by using semigroup method. Some algebraic properties of languages be given via semigroup method. Firstly, the semigroup constructions of dense languages are given. It's proved that every dense language which syntactic monoid has the zero, or which syntactic monoid has the minimal i-deal and this ideal is a periodic semigroup having a primitive idempotent contains a language w(WK)* for some nonempty word w and some positive integer k. The theorem every code is thin is generalized to the result that every code which syntactic monoid has the zero, or which syntactic monoid has the minimal ideal and this ideal is a periodic semigroup having a primitive idempotent is thin. It's proved that every dense regular language contains a product of some word with some dense regular right unitary submonoid of A*, and by using this result it is proved that every dense regular language also contains a primitive word. Secondly, the regular component decomposition of free monoids are given. It's proved that free monoids are regular component splittable and that every product of a regular component splittable language with a regular component split-table suffix language is regular component splittable. As applications of the above results two conjectures about regular languages given by Shyr and Yu, in 1998 are proved. The two conjectures are that regular languages are regular component splittable and dense regular languages contains imprimitive words.
出处 《计算机学报》 EI CSCD 北大核心 2005年第7期1138-1145,共8页 Chinese Journal of Computers
基金 国家自然科学基金(A10071068)资助.
关键词 形式语言 稠密语言 有限自动机 半群 Finite automata Theorem proving Word processing
  • 相关文献

参考文献12

  • 1Hopcroft J.E., Ullman J.D.. Formal Languages and Their Relations to Automata. Reading, Mass: Addison-Wesley, 1969
  • 2Shyr H.J., Yu S.S.. Midst-Languages. Scoochow Journal of Mathematics, 1998, 24(2): 113-130
  • 3Berstel J., Perrin D.. Theory of Codes. New York: Academic Press, 1985
  • 4Howie J.M.. Fundamentals of Semigroup Theory. New York: Oxford University Press, 1995
  • 5Eilenberg S.. Automata, Languages and Machines.vol A. New York: Academic Press, 1974
  • 6Lallement G.. Semigroups and Combinatorial Applications. New York: John Wiley & Sons, 1979
  • 7Shyr H.J., Yu S.S.. Regular component splittable languages. Acta Mathematica Hungarica, 1998, 78(3): 251~265
  • 8Shyr H.J.. Free Monoids and Languages. Taiwan: Hon Min Book Company, 1991
  • 9Liu Y.J.. An application of Rees theorem to dense regular languages. Journal of Lanzhou University, 2002, 38(1): 15~17
  • 10Liu Y.J.. Regular component decomposition of regular languages. Theoretical Computer Science, 2003, 299(3): 743~749

同被引文献41

  • 1张化光,王智良,黎明,全永兵,张明君.广义模糊双曲正切模型:一个万能逼近器[J].自动化学报,2004,30(3):416-422. 被引量:19
  • 2Wang L X, Mendel J M. Fuzzy basis functions, universal approximation and orthogonal least squares learning [J]. IEEE Transactions on Neural Networks,1992,3(5):807-814.
  • 3Kosko B. Fuzzy systems as universal approximators[J]. IEEE Transactions on Computers, 1994,43 (11 ):1329- 1333.
  • 4Grauel A, Ludwing L A. , Construction of differential membership functions[J]. Fuzzy Sets and Systems, 1999,101: 219-225.
  • 5Chen S M, Chang C H. A new method to construct membership functions and generate weighted fuzzy rules from training instances[J]. Cybernetics and Systems, 2005,36 (4) : 397-414.
  • 6Radhia H, et al. Approximation properties of piece-wise parabolic functions fuzzy logic systems[J]. Fuzzy Sets and Systems, 2006,157(4) : 501 -515.
  • 7Cao S G, Rees N W, Feng G. Quadratic stability analysis and design of continuous-time fuzzy control systems[J]. International Journal of Systems and Sciences, 1996,27 (2): 193 - 203.
  • 8Zak S H. Stabilizing fuzzy system models using linear controllers[J]. IEEE Transactions on Fuzzy Systems, 1999, 7(2) :236-240.
  • 9Mamadani E H. Application of fuzzy algorithms for control of simple dynamic plant[J]. Proceedings of the Institution of Electrical Engineers,1974,12(121) :1585-1588.
  • 10Nil M, Yuzgec U, Sonmez M, Cakir B. Proceedings of 5th International Symposium on Intelligent Manufuring Systems, 2006 : 884-895.

引证文献6

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部