基于共代數(shù)的流演算研究.pdf

1、中山大學(xué)碩士學(xué)位論文基于共代數(shù)的流演算研究姓名：崔振申請學(xué)位級別：碩士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：周曉聰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