资源描述：
《自动机理论、言和计算导论课后习题答案中文版精选》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、http://www.zhiwenweb.cn/article.asp?id=1226SolutionsforSection2.2Exercise2.2.1(a)Statescorrespondtotheeightcombinationsofswitchpositions,andalsomustindicatewhetherthepreviousrollcameoutatD,i.e.,whetherthepreviousinputwasaccepted.Let0representaposition
2、totheleft(asinthediagram)and1apositiontotheright.Eachstatecanberepresentedbyasequenceofthree0'sor1's,representingthedirectionsofthethreeswitches,inorderfromlefttoright.Wefollowthesethreebitsbyeitheraindicatingitisanacceptingstateorr,indicatingrejectio
3、n.Ofthe16possiblestates,itturnsoutthatonly13areaccessiblefromtheinitialstate,000r.Hereisthetransitiontable:杠杆可能出现8种情况，影响着最终状态。并且也要说明，前面一个大理石球是否从D滚出，也就是说，前一个输入是否被接受。令0代表向左方的状态（如图表），1代表向右方。这三个杠杆的每一个状态都可以用三个数（0或1）组成的序列表示。这个序列后面跟着字母a或者r。a代表接受状态，r代表拒绝状态。16
4、种可能的状态中，只有13种是从初始状态000r可达的。下面它的有穷自动机的转移表。AB->000r100r011r*000a100r011r*001a101r000a010r110r001a*010a110r001a011r111r010a100r010r111r*100a010r111r101r011r100a*101a011r100a110r000a101a*110a000a101a111r001a110aExercise2.2.2Thestatementtobeprovedisδ-hat(q
5、,xy)=δ-hat(δ-hat(q,x),y),andweproceedbyinductiononthelengthofy.证明：通过对
6、y
7、进行归纳，来证明(q,xy)=((q,x),y)，具体过程如下：workgraduallyexpandingthescopeoftheinspection.(3)checkdailycheck,annualinspectionandspecialinspection.1)dailycheckshouldpreparerecords,foundthatthe
8、problemshouldbereportedtothesupervisorinatimelymannerand,ifnecessary,shouldbeaccompaniedbyaphotoorsketch.2)touroftheyear...Summaryreport,includingthefindingsandthemeasurestobetaken.3)ifexceptionalcircumstances,suchaslong-termsustainabilityofgroundwate
9、rlevelhigh,strongearthquakes,largeblastingorblastingoutofcontrol,thebodychangesinthedeformationofsurroundingrockandabnormalsituations,suchasabuilding,specialinspectionshouldbecarriedout.Theemployerdoesnotpayfees.(4)monitorplantedphaseatthesametime,res
10、pondtothesiteforinspection.(5)keepallwithoutanyalterationoftheoriginalrecord,thesupervisorhastherighttoatanytime.Ifthesupervisormonitordataerrorreported,incomplete,false,defect,ordelay,righttodeductiontopaythecosts.(6)monitoringduringthecontra
