基于共代數(shù)的確定型有窮自動機研究.pdf

1、中山大學(xué)碩士學(xué)位論文基于共代數(shù)的確定型有窮自動機研究姓名：王金陳申請學(xué)位級別：碩士專業(yè)：計算機軟件與理論指導(dǎo)教師：周曉聰20060501IIlTitle：TheresearchondeterministicfiniteautomatabasedOilthecoalgebratheoryMajor：ComputerScienceName：JinChenWangSupervisor：AssociateProfessorXiaoCongZho

2、uAbstractThetheoryofcoalgebrashasbeenwidelystudiedsincethemid1990sIthasbeenallactiveareaoftheoreticalcomputerscienceandthusreceivewideconcernsAtthepresenttime，thetheoryofcoalgebrasbasedonsetcategoryhasbeenmature，andWaswi

3、delyappliedincomputerscienceCoalgebraicmethodsinvestigatethebehaviorsofsystemsfromanobservableviewAndithasbeenprovedthatcoalgebraicmethodshavedistinctadvantagesinmathematicstudyofstatebasedsystemssincetheyenablethethorou

4、ghresearchonthosesystems’propertiessuchasnondeterminism，behaviorequivalenceandSOonFurthermore，coalgebraicmethodshavealsobeenappliedinmanyresearchfields，forexample，automatatheory，specificationsofobject—orientedsoftwareetc

5、Inthispaper，abriefintroductionofcategorytheoryandeoalgebraconceptaregivenfirstlyParticutarybasedonBJocobswork，theautomatacoalgebratheoryarestudiedfurtherandsomeexamplesaregiventoexplainthemclearlyThentherelationshipbetwe

6、enthecoalgebrasandautomataisdiscussed，includingitscorrespondinglanguageFurthermore，thecoalgebralcmethodWasappliedtoprovetheirprosperitiesandeomparedwiththetraditionalmethodsAtlast，anexampleisgivenasaspecifiedapplicationt

7、otransformtheregularexpressiontodeterministicfiniteautomataBycomparedwiththetraditionarymethoditisclearthatthecoalgebralctheoryisanewwaytoinvestigatethefiniteautomatatheorykeywords：categorytheory；coalgebras；automata；regu