基于共代數的流演算研究.pdf

1、中山大學碩士學位論文基于共代數的流演算研究姓名：崔振申請學位級別：碩士專業(yè)：計算機軟件與理論指導教師：周曉聰20060501Title：Major：Name：Supervisor：ResearchonStreamCalculusBasedonCoalgebraComputerSoftwareandTheoryZhenCuiViceProfessorXiaochongZhouAbstractAlgebrMcmethodsinvestiga

2、tesemanticsofdatatypesfromtheconstructivepoints，andhavebeenappliedinmanyresearchfields，forexample，datatypes，semanticsofcomputerlanguageetcAsthedualconceptsofalgebras，coalgebraicmethods，werenotnoticedbycomputerscientistsu

3、ntilthe1990s，andgraduallybecameanactiveareaoftheoreticalcomputerscienceEromtheobservablepoints，coalgebrammethodsinvestigatesystems，andhavebeenappliedinmanyresearchfieldssuchasautomatatheorylsemanticsofconcurrencyspecific

4、ationsofobject—orientedsoftwareandsoonAsanewtheorycoalgebraicmethodsaredeveloping，andstillnotmatureIfonewantstohaveacomprehensiveresearchinthem，thereexistmanydifficultiesAsaspecificcoalgebra，streamcoalgebraisrelativelysi

5、mple，andcanhelpunderstandandstudygeneralcoalgebraicmethodsThereisonlyonemorphismfromstreamclalgebratofinalcoalgebra，inwhichstatesareviewedasacollectionofstreamsOnthebasisofcoalgebra，wenotonlystudystreamcalculusinthispape

6、r，includingstreamsofrealnumbersandbitstreams，butalsoimplementsomeoperationofstearns，forexample，coinvolutionproduct，shuffleproductetc，ParticularlybasedonJRutten’swork，wefurtherexploretheapplicatiousofstreams，forexainple，s

7、treamsofrealnumbersareappliedindifferenceequations；bitstreamsindi百talcircuitsThenweintroduceweightedstreamautomataanditsapplicationsincoinductivecountingFhrthermore，weintroducethetransformationbetweenrationalstreamsandwe