资源描述:
《Theoretical Computer Science.pdf》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、?··?··I-'??11JurajHromkovieTheoreticalComputerScienceIntroductiontoAutomata,Computability,Complexity,Algorithmics,Randomization,Communication,andCryptographyWith73Figuresand6TablesSpringerAuthorProf.Dr.JurajHromkoviiRWTHAachenComputerScienceI,AlgorithmsandComplexityAhornstr.5552074Aachen,Germanyjh
2、@il.informatik.rwth-aachen.deSeriesEditorsProf.Dr.WilfriedBrauerInstitutfurInformatik,TechnischeUniversitatMiinchenArcisstrafie21,80333Miinchen,GermanyBrauer@informatik.tu-muenchen.deProf.Dr.GrzegorzRozenbergLeidenInstituteofAdvancedComputerScienceUniversityofLeidenNielsBohrweg1,2333CALeiden,TheNe
3、therlandsrozenber@liacs.nlProf.Dr.ArtoSalomaaTurkuCentreforComputerScienceLemminkaisenkatu14A,20520Turku,Finlandasalomaa@utu.fiLibraryofCongressCataloging-in-PublicationDataappliedforDieDeutscheBibliothek-CIP-EinheitsaufhahmeBibliographicinformationpublishedbyDieDeutscheBibliothekDieDeutscheBiblio
4、thekliststhispublicationintheDeutscheNationalbibliografie;detailedbibliographicdataisavailableintheInternetat.ACMSubjectClassification(1998):El.1-3,R2.2,F.4.3,1.4.2,E.3,E.4,C.2.1ISBN3-540-14015-8Springer-VerlagBerlinHeidelbergNewYorkThisworkissubjecttocopyright.Allrightsarereser
5、ved,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,reproductiononmicrofilmorinanyotherway,andstorageindatabanks.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightL
6、awofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.ViolationsareliableforprosecutionundertheGermanCopyrightLaw.Springer-VerlagBerlinHeidelbergNewYork,amemberofBertelsmannSpringerScience+BusinessMediaGmbH©Springer-VerlagBerlinHeidelberg2004PrintedinGe
7、rmanyTheuseofgeneraldescriptivenames,trademarks,etc.inthispublicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelawsandthereforefreeforgeneraluse.CoverDesign: