10.3321/j.issn:0469-5097.2003.04.007
关于语言族强替换性的一个命题
一个语言族能被有限分支自动机识别等价于它是自相容的且是有限可微的,而自相容的语言族又等价于它是闭的且具有替换性.自从语言族的微商运算的逆运算积分被引入到语言族的研究中以后,语言族的替换性利用语言族的积分被推广到强替换性,从而自相容性、可识别性分别被推广到强自相容性和强可识别性.同时,自相容性与可微性这两个原本独立的概念之间产生了某种联系.这种联系体现在用积分给出了语言族具有替换性的一个充分必要条件上,后来,这个充分必要条件又被推广到强替换性上.讨论了关于语言族具有强替换性的这个充分必要条件,指出其必要性不成立并给出了一个新的必要条件.本文同时给出了充分条件的一个新的证明.
语言族、强替换性、主滤子
39
O152.7(代数、数论、组合理论)
2008-05-12(万方平台首次上网日期,不代表论文的发表时间)
共6页
499-504