
发表日期: 2021-04-17 10:41:19 浏览次数:114
迁安市企业微信公众号小程序开发公司、迁安市企业网页设计方案、迁安市做网站开发价格、迁安市微信公众号制作运营报价明细表、迁安市网站设计公司费用、迁安市网站推广大概需要多少钱
迁安市,河北省直辖县级市,由唐山市代管,位于河北省东北部,燕山南麓,滦河岸边,介于东经118°37′~118°55′,北纬39°51′~40°15′之间,市境纵跨直线距离45公里,横跨直线距离39公里。东隔青龙河与秦皇岛市卢龙县相望,南与滦州市相邻,西接迁西县,北以长城为界与秦皇岛市青龙满族自治县毗邻,全市总面积1227平方公里。 [1] 市人民政府驻地永顺街道 [2] 。
迁安市境内地势西北高,东南低,属暖温带、半湿润季风性气候,境内主要风景区有迁安博物馆、白羊峪、黄台山公园和黄台湖等。 [3]
迁安西距北京市220公里、距天津市190公里、距唐山市80公里,东距秦皇岛市110公里,北距承德市170公里,南距京唐港100公里。临近京唐港、曹妃甸港、天津新港、秦皇岛港。境内北京-哈尔滨高速公路、北京-秦皇岛高速公路、102国道、三抚公路和津山铁路、大秦铁路、通坨铁路横贯东西,冷大公路、卑水铁路、迁曹铁路纵穿南北。津秦高铁在迁安设有客运站,即滦河站。
迁安先后被授予全国文明城市、国家卫生城市、国家园林城市、中国宜居城市、世界健康城市、全国绿化模范城市、全国生态建设突出贡献单位等称号,是首批国家海绵城市试点中唯一的县级市、首批国家智慧城市试点单位。 [4] 2019年10月,入选2019年度全国投资潜力百强县市、2019年度全国新型城镇化质量百强县市。 [5-6] 2020年10月,入选河北省第一批新型智慧城市建设试点名单。 [7] 2020年12月,社科院发布《全国县域经济综合竞争力100强》,迁安排名第23 [8] 。
接下来,必须考虑从状态{0,1}出发的转换。再次研究图10-17,我们看到,对除了m和a之外的所有输入,状态0只通向状态0,而状态1则不能通向任何地方。因此,存在从状态{0,1}到状态{0}的转换,标记为除了m和a之外的所有字母。对输入m,状态1还是不能通向任何地方,不过状态0会同时通向状态0和状态1。因此,存在从状态{0,1}到其本身的转换,标记为m。最后,对输入a,状态0只会通向它自己,不过状态1是通向状态2的。因此存在标记为a的从状态{0,1}到状态{0,2}的转换。目前为止D 已经构建起的部分如图10-19所示。

图 10-19 状态{0}和{0,1},以及它们的转换
现在需要构建从状态{0,2}出发的转换。对除m和n之外的所有输入,状态0只能通向状态0,而状态2则哪里都去不了,因此存在从{0,2}到{0}的转换,标记为除了m和n之外的所有字母。对输入m,状态2不通向任何状态,而状态0则同时通向状态0和状态1,因此标记为m的从状态{0,2}到状态{0,1}的转换。对输入n,状态0只通向它本身,而状态2会通向状态3。因此存在标记为n的从状态{0,2}到状态{0,3}的转换。D的该状态是接受状态,因为它包含了图10-17中的接受状态——状态3。
最后,必须给出从状态{0,3}出发的转换。因为对任何输入,状态3都不通向任何状态,从状态{0,3}出发的转换只反映从状态0出发的转换,因此会与{0}通向相同的状态。因为从状态{0,3}出发的转换不会将我们带到尚未见过的D的状态,所以对D的构造就完成了。完整的确定自动机如图10-20所示。

图 10-20 确定自动机D
请注意,这一确定自动机可以正确地接受所有以man结尾的字母串,而且只接受以man结尾的字母串。直觉上讲,只要字符串目前为止不是以m、ma、man结尾,该自动机就会处在状态{0}中。状态{0,1}意味着目前为止看到的字符串是以m结尾的,状态{0,2}表示当前的字符串是以ma结尾,而状态{0,3}则说明当前字符串的结尾为man。
图10-17中的非确定自动机有4个状态,而图10-20中与它等价的确定自动机也有4个状态。如果所有的非确定自动机都能转换成小型确定自动机就好了,例如,在编译编程语言中常用到的某些自动机其实可以转换成相当小的确定自动机。不过,不能保证确定自动机一定很小,具有k个状态的非确定自动机有可能最终被转换成状态多达2k 个的确定自动机。也就是说,对非确定自动机状态集的幂集中的每个成员,确定自动机都有相应的状态。
举个会得到很多状态的例子,考虑一下10.3节图10-14中的自动机。因为该非确定自动机有20种状态,可以想象一下,通过子集构造构建的确定自动机可能有约220个,或者说是超过100万个状态,这些状态全都是{0,1,…,19}的幂集的成员。实际结果并没有这么糟,但也存在相当多的状态。
我们不会尝试画出与图10-14中非确定自动机等价的确定自动机。不过,可以考虑一下实际上需要哪些状态集。首先,因为对每个字母都有从状态0到其自身的转换,所以实际看到的所有状态集都包含0。如果字母a尚未输入,就不能到达状态1。不过,如果刚好已经看到一个a,不管还看到些什么,我们都将在状态1中。我们还可以为washington中其他任何字母得出相似的论断。
如果在状态0中开始图10-14,并为其提供属于washington中所出现字母的子集的一列字母,然后除了在状态0中之外,还可以在状态1、3、5、7、9、12、14、16和18的某个子集中。通过恰当地选择输入字母,我们可以安排在这些状态集的任意一个中。因为有29=512个这样的集合,所以在与图10-14等价的确定自动机中至少有这么多个状态。
不过,其中的状态要更多,因为字母n在图10-14中得到了特殊处理。如果在状态9中,我们还可以在状态10中,而且如果已经看到两个n,其实就将同处状态9和状态10中。因此,尽管对其他8个字母来说都只有两个选择(比如,对字母a,要包含状态1,要么不含状态1),而对字母n来说,共有3种选择(既不含状态9也不含状态10、只包含状态9,或者同时包含状态9和状态10)。因为至少存在3×28=768种状态。
不过这并非全部。如果到目前为止的输入以washington中的字母之一结束,而且我们之前已经看到足够多的该字母,那么我们也应该在对应该字母的接受状态中,比方说,对a来说就是状态2。然而,我们在处理相同输入后不可能在两个接受状态中。为增加的状态集计数变得更麻烦了。
假设接受状态2是该集合的成员。那么可知1也是该集合的成员,0当然也是,不过我们仍然对与除a之外的字母对应的状态拥有所有选择,这类集合的数量是3×27,或者说是384。如果我们的集合包含接受状态4、6、8、13、15、17或19,这样的道理也同样实用,在每种情况中都有384个集合包含相应的接受状态。唯一的例外就是含接受状态11(就是状态9和状态10也出现)的情况。在该情况下,只有28=256种选择。因此,该等价确定自动机的状态总数为:
768+8×384+256=4864
第一项768表示那些不含接受状态的集合的数量。接下来的一项,表示的是分别包含与除n之外其他8个字母对应的接受状态的8类集合的数量,第三项256则表示含状态11的集合的数量。
关于子集构造的想法
子集构造是相当不好理解的。特别是确定自动机的状态可以是非确定自动机的状态集这一思路可能需要大家耐心思考才能想通。不过,这种把结构化对象(状态集)与原子对象(确定自动机的各个状态)融合成同一对象的概念,是计算机科学中的一种重要概念。我们已经在程序中看到过这一概念,而且经常必须用到它。例如,函数的参数,比方说
L,表面上看是原子的,而对其进行更仔细的检查可能发现它是有着复杂结构的对象,比如,具有连接到其他记录的字段从而能形成表的记录。同样,图10-20中确定自动机D 的状态{0,2}也可以用简单的名称“5”或“a”来代替。
很明显,如果D 是利用子集构造从非确定自动机N 构建的,那么D 就是确定自动机。原因在于,对每个输入符号x 和D 的每个状态S 而言,我们定义了D 的某特定状态T,它满足从S 到T 的转换的标号中包含x。不过如何得知自动机N 和D 是等价的呢?也就是说,我们需要知道,对任意输入序列a1a2…ak,当且仅当N 接受a1a2…ak 时,在下列情况下,自动机D 到达的状态S 是种接受状态。
1. 从起始状态开始;
2. 并且沿着标记为a1a2…ak 的路径行进。
请记住,当且仅当从N 的起始状态有一条标记为a1a2…ak 的路径能到达N 的某个接受状态时,N 才会接受a1a2…ak。
D 所做的事情与N 所做的事情之间的联系就更紧密了。如果D 具有从它的起始状态到标记为a1a2…ak 的状态的路径,那么被视为自动机N 的某个状态集的集合S,就刚好是从N 的起始状态开始沿着某标记为a1a2…ak 的路径所能到达的状态组成的集合。这种关系如图10-21所示。因为我们已经定义了,只有在S中的某一成员是N 的接受状态时,S才是D的接受状态,所以要得出D和N都接受a1a2…ak 或都不接受a1a2…ak,也就是要得出D 和N 是等价的,就只需要图10-21所示的关系。

图 10-21 非确定自动机N 的操作与对应的确定自动机D 的操作间存在的关系
我们需要证明图10-21所示的关系,该证明要对输入字符串长度k 进行归纳。需要通过对k 的归纳来证明的正式命题是,从D 的起始状态开始沿着标记为a1a2…ak 的路径到达的状态{s1,s2,…,sn},刚好是从N 的起始状态开始沿着标记为a1a2…ak 的路径到达的状态构成的集合。
依据。设k=0。长度为0的路径将我们留在出发的位置,也就是,在自动机D 和N 的起始状态中。回想一下,如果s0是N 的起始状态,D 的起始状态就是{s0}。因此该归纳命题对k=0来说成立。
归纳。假设该命题对k成立,并考虑输入字符串a1a2…akak+1。那么标记为a1a2…akak+1的从D的起始状态到状态T的路径就如图10-22所示,也就是说,在它针对输入ak+1进行到T的转换(最后一次转换)之前,会经过某个状态S。

图 10-22 S 是D 在到达状态T 之前到达的状态
通过归纳假设,可以假设S 正好是自动机N 从其起始状态沿着标记为a1a2…ak 的路径所能到达的状态组成的集合,并必须证明T 刚好是从N 的起始状态出发沿着标记为a1a2…akak+1的路径所能到达的状态组成的集合。该归纳步骤的证明包含下列两个部分。
迁安市企业微信公众号小程序开发公司、迁安市企业网页设计方案、迁安市做网站开发价格、迁安市微信公众号制作运营报价明细表、迁安市网站设计公司费用、迁安市网站推广大概需要多少钱
服务热线
顶部
备案号: 苏ICP备11067224号
CopyRight © 2011 书生商友信息科技 All Right Reserved
24小时服务热线:400-111-6878 E-MAIL:1120768800@qq.com QQ:1120768800
网址: http://www.768800.com 网站建设:上往建站
关键词: 网站建设| 域名邮箱| 服务器空间| 网站推广| 上往建站| 网站制作| 网站设计| 域名注册| 网络营销| 网站维护|
企业邮箱| 虚拟主机| 网络建站| 网站服务| 网页设计| 网店美工设计| 网站定制| 企业建站| 网站设计制作| 网页制作公司|
400电话办理| 书生商友软件| 葬花网| 调温纤维| 海洋馆运营维护| 北京保安公司| 殡仪馆服务| 殡葬服务| 苏州殡葬一条龙| 朝阳殡葬| 苏州殡葬服务|
欢迎您免费咨询,请填写以下信息,我们收到后会尽快与您联系
服务热线:400-111-6878