÷Ŕ; č TeX output 2003.01.28:1618 ˙˙˙˙ y ýŁ ? ýä n, ó&Lt$ ff ff ecbx1440ťRegularitástG\megŽrzŽfüggvcényekrŽl2Ze> ó]f ecbx1000źPŽ>ontosŐbibliográaiadatok:¤ > ó1ęą ecrm1000šDexter¨çK¸čozen.ĺOnRegularity-PreservingF˙*¸unctionsUěó˝HĐ ecti1000˝T˙;Če˙}/chnicalő>ReportofCornel ĐlĄ> Universityš,U TR95-1559.ĄŘo> źRöŽ>vidŐcím: RegularitástmegŽrzŽfüggvényekrŽl.(sçM šIsmert,U hogyhaó b> cmmi10ľAšegyregulárisn¸čyelv,U akkorazŠ ŤľA˙ó 0er cmmi7´n ¤?BóKń`y cmr10˛=Çó !", cmsy10¸fľx¸j9ľy"ń˛:ľl2`˛(ľy[ٲ)=ľl˛(ľx˛)U šés Hľxy"ń¸2ľA¸g¤ > šn¸čyelvU szinténreguláris.qV˙*¸alamivelkomplik˙qĐáltabbabizonyításaannak,hogyĄ ľAÇ´nţ óZ cmr5°2 ¤?B˛=Ǹfľx¸j9ľy"ń˛:ľl2`˛(ľy[ٲ)=ľl˛(ľx˛)űŢ˙óŮ R cmr7ą2Ńšésťľxy"ń¸2ľA¸gľ;ú JA˙ą2ţ óO Ú\ cmmi5łn ¤?B˛=Ǹfľx¸j9ľy"ń˛:ľl2`˛(ľy[ٲ)=2űŢ˙´l `ą(´xą)/Κésçöľxy¸2ľA¸gľ;˙Čšés+ *ľA.9ą2ţ °2ţłn ¤?B˛=Ǹfľx¸j9ľy"ń˛:ľl2`˛(ľy[ٲ)=2űŢ˙ą2üűrłl°(łx°)jšésĐľxy¸2ľA¸g Ś> šn¸čyelvekźv˙qĐalamennyienregulárisok.TAŽcikkkétfélemóGdonismeghatározzaazon¤ > függv¸čényekXäosztályát,YŐmelyekafentiértelembGenmegŽrzikaregularitást,YŐazazĄ> meghatározzaeŞazoly¸čanľfy9šfüggvényekosztályát,melyremindenregulárisľAšnyelv-Ą> bGŽlU afen¸čtisémaszerintkészítettľA˙´f@šnyelvregulárismarad. * y ýŁ ? ýä e JťNycelvekG\generálásakcétfa á9jtazárójelpárŠ ÂAsegítségévcel$ q> źPŽ>ontosŐbibliográaiadatok:¤ > šViliamJGeert.JĽHo¸čwtogeneratelanguagesusingonlytwopairsofparentheses.Ą> ˝EIK:ÇŢJournalofInformationPr˙}/ocessingÇŢandCyb˙}/erneticsEIKÇĐ(formerlyElekt-Ą> r˙}/onische°InformationsverarbeitungundKybernetik)š,U 27,1991.ĄŘo> źRöŽ>vidŐcím: Geertnormálforma.9óM šAU szerzŽk¸čétjólhasználhatónormálformátada0.qtípusúnyelvtanokra.Ś> źTétel.|~˝Minden=9ľG˝nul Đladiktípusúnyelvtanhozme˙}/gadhatóegyveleekvivalensľGü^˙óO!â cmsy7ˇ0Ą> ˝nyelvtan,ăżmelynekÓźidŽéstérb˙}/onyolultságaaszimptotikusanegyenlŽaľG˝nyelv-Ą> tanéval,Imindösszeůo˛5˝nemterminálisszimb˙}/ólumothasznál(ezek:L/ľS ü^˙ˇ0aĆľ;ި˛(ľ;˛)ľ;˛[ľ;˛]˝),sza-Ą> b˙}/ályai×kettŽkivételévelkörnyezetfüggetlenek.Zl(AÖÓkétkivétel::ú˛()Ǹ!ľ˝,üŔésײ[]¸!ľ˝.)Ś> źTétel.|~˝Minden=9ľG˝nul Đladiktípusúnyelvtanhozme˙}/gadhatóegyveleekvivalensľGü^˙ˇ0Ą> ˝nyelvtan,ăżmelynekÓźidŽéstérb˙}/onyolultságaaszimptotikusanegyenlŽaľG˝nyelv-Ą> tanéval,Cqmindössze/a˛5˝nemterminálisszimb˙}/ólumothasznál(ezek:g)ľS ü^˙ˇ0aĆľ;ިX:Š;A;B q;C ˇ˝),Ą> szab˙}/ályai°egykivételévelkörnyezetfüggetlenek.P(Akivétel:ľAB qC~4¸!Çľ˝.) G y ýŁ ? ýä ˇÔťťSejtautomatákć~> źPŽ>ontosŐbibliográaiadatok:¤ > šJozef+fGrusk˙qĐa.ôQF˙*¸oundationsofComputing.In¸čternationalThomsonComputerĄ> Press,U 1997ĄŘo> źRöŽ>vidŐcím: Sejtautomaták.9óM šAz8ötv¸čenesévekbGenakutatók˙qĐatfoglalkoztatóegyiklegizgalmasabbkérdésĄ> azYv¸čolt,ZŽhogyképGesekegépekönmagukreproduk˙qĐálására.~ŐEgyfa 0jtaválaszterreĄ> al5k¸čérdésreNeumannJánosadott,qúakimegalkotta1953banasejtautomaták˙qĐat,Ą> biológiai9Xmotiv˙qĐációkalap 0ján.h=Ezzelmegm¸čutatta,>ćhogyléteznekönreproGdukálóĄ> gépGek.äŽA%ůsejtautomaták&/k¸čésŽbbapárhuzamosszámítógépGekegymodelljénekĄ> matematik˙qĐaiU alap 0játisk¸čépGezték.ĄM A?sejtautomaták?Ěoly¸čanvégesállapGotúautomatáknakv˙qĐalamilyenddimenziósĄ> elrendezésś,ÝmindenNLirán¸čybanvégtelenhálózata,ÝmelybGenmindenautomataazo-Ą> nosçóm¸čśköGdésś,¨ésazállapotátmenetekcsakazadottautomataszomszédjai-Ą> nakŞĚállapGotátólŐfüggenek.ňAŐchálózatpárh¸čuzamosanmśköGdik,őszinkronizáltanĄ> ésU diszkrétlépGésekben.ĄM A1sk¸čönyvrészlet1ŹpGontosandeniáljaasejtautomatákfogalmát,hĎpGéldák˙qĐatadĄ> rá.JRészletesebbGenUfoglalk¸čozikkétspGeciálisesettel:éasok˙qĐakáltalismertéletjá-Ą> tékk˙qĐalésalö¸čvészosztagokszinkronizációsproblémá 0já¸čval.ŹłVégülmegm¸čutatjaĄ> aztŰ^arendkívülfon¸čtoselméleletitételt,ó¸hogyasejtautomatákésaT˙*¸uringgépGekĄ> k¸čépGesekżegymáshatékonyszimuláció 0jára,illetvebGevezetiareverzibilissejta-Ą> utomatákĄjfogalmát.V^AĄfejezetetfeladatokzárják,ô|néhán¸čyérdekesebbfeladatĄ> megoldásánakU ismertetésehozzátartozikadolgozatbGem¸čutatásához. y ýŁ ? ýä Y'öťIsmételtG\GSMlekcéppezések: Đegyösszeomló Čçhierarcchia2Ze> źPŽ>ontosŐbibliográaiadatok:¤ > šVincenzoÇManca,ä9CarlosMartin-VideésGheorgheP¸č un:VuIteratedGSMÇ}Map-Ą> pings:áACollapsing(Hierarc¸čhy˙*¸.In:Jewels(AreF˙*¸orev¸čer,*pp.182-193,Springer-Ą> V˙*¸erlag,U New-York,SalomaaA.,MaurerH.,P¸čaunG.editors1999ĄŘo> źRöŽ>vidŐcím: IsmételtGSMleképQÂezések.(sçM šGSMĐslek¸čépGezésekĐŐismételtalk˙qĐalmazásánaksegítségéveldeniálhatunkkü-Ą> lön¸čbGözŽÇúnyelvcsaládok˙qĐat.ĘAÇÜfelhasználtGSM-bGenlevŽállapGotokszámaszerintĄ> v¸čégtelen_Đsoknyelvcsaládotk˙qĐapunk.Ezekanyelvcsaládoktermészetesenhierar-Ą> c¸čhikusanegyrebGŽvülnek,á˙deacikkbGelátja,hogy4állapGotúGSMMsegítségé-Ą> v¸čel5ĽmártetszŽlegesrekurzív˙qĐanfelsorolhatónyelvetmegk˙qĐaphatunk,;ńígyahierar-Ą> c¸čhias]összeomlik.Ě6AsUdolgozatvizsgáljamégazegyesnyelvosztályoknagyságátaĄ> Chomskyosztály¸čokhozU ésakülönbGözŽLindenmayernyelvosztályokhozképGest.ĄM An¸čyelvdeniálásnakŇezenmoGdelljeamolekulárisszámításoktudomán¸čyágĄ> egyçmóGdszerév¸čel,K}afaragássalv˙qĐalószámítássalrokon,K}azeredményeknekottĄ> lehetQÄgy¸čakorlatialk˙qĐalmazásukis.paAQĂdeterminisztikusGSMlek¸čépGezésekismételtĄ> alk˙qĐalmazásá¸čvalÇmegkapGottn¸čyelvekvizsgálatanemtárgyaacikknek.ČÉAÇpterületĄ> mégU sokn¸čyitottkérdésttartalmaz. y ýŁ ? ýä ^úťLogik˙ĆaiG\formculákkaldeniálhatóncyelvekć~> źPŽ>ontosŐbibliográaiadatok:¤ > šArtoMoSalomaa.˝Ržudimentarypr˙}/edicates,In:ĆF˙;ČormalLanguagesš,Nůc¸čhapterMoIGII/12,Ą> pagesU 109119.A¸čcademicPress,NewY˙*¸ork,1973.ĄŘo> źRöŽ>vidŐcím: Logik˙\|aiformulák.9óM šAz