Geometrical accumulations and computably enumerable real numbers

icon

39

pages

icon

English

icon

Documents

Écrit par

Publié par

Lire un extrait
Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
icon

39

pages

icon

English

icon

Documents

Lire un extrait
Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Geometrical accumulations and computably enumerable real numbers Geometrical accumulations and computably enumerable real numbers Jérôme Durand-Lose Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Orléans, FRANCE UC '11, Turku, Finland 7th June 2011 1 / 39

  • enumerable real

  • real numbers

  • computably enumerable

  • nice regular

  • numbers

  • laboratoire d'informatique fondamentale d'orléans

  • necessary condition


Voir icon arrow

Publié par

Nombre de lectures

57

Langue

English

Geometricalaccumulationsandd'Infod'Orl?ans,computablFy'11,enumerable1realmnumbd'Orl?ans,ersFRANCEGeometricalurku,acJunecum/ulationsrandatiquecomputablyondamentaleenumerableUniversit?realOrl?ans,numbUCersTJ?r?meFinlandDurand-Lose7thLab201o1ratoire39Geometricalaccumulationsand/realandcomputablManipulatingyAenumerableersrealaccumulationsnumbandersers1atSignalrealmachinesConclusionandisolatedisolated3accumulationsc.e.2d-c.e.Necessanumbry4conditionsccumulatingonc.e.thed-c.e.conumbo5rdinates2of39GeometricalaccumulationsandcomputablersManipulatingAyofenumerablerealrealandnumb/ersaccumulationsSignalandmachinesersandatisolatedrealaccumulationsConclusion1rdinatesSignalisolatedmachines3andc.e.isolatedd-c.e.accumulationsnumb24Necessaccumulatingryc.e.conditionsd-c.e.onnumbthe5co3o39Geometricalaccumulationsandisolatedr/computablNiceywingsenumerableandrealaccumulationsnumbregulaersdraSignal4machines39Geometricalaccumulationsandisolatedr/computablNiceywingsenumerableandrealaccumulationsnumbregulaersdraSignal5machines39Geometricalaccumulationsandisolatedr/computablNiceywingsenumerableandrealaccumulationsnumbregulaersdraSignal6machines39

andcomputablyhineslines:/enumerablebrealcollisionsnumbsignalersbaccumulationsinitialend-pSignalmachinesiandrulesisolatedofaccumulationsmacNiceDenedregulayrottom:dracongurationwingssignalsLines:meta-signalstracesoofnts:GeometricalsignalsSpace-time7diagrams39

andcomputablyhineslines:/enumerablebrealcollisionsnumbsignalersbaccumulationsinitialend-pSignalmachinesiandrulesisolatedofaccumulationsmacNiceDenedregulayrottom:dracongurationwingssignalsLines:meta-signalstracesoofnts:GeometricalsignalsSpace-time8diagrams39

andcomputablyhineslines:/enumerablebrealcollisionsnumbsignalersbaccumulationsinitialend-pSignalmachinesiandrulesisolatedofaccumulationsmacNiceDenedregulayrottom:dracongurationwingssignalsLines:meta-signalstracesoofnts:GeometricalsignalsSpace-time9diagrams39→


M M
enumerablerealnumbers}}accumulationsSignal(-3)machines{and}isolated}accumulationsdiv,Example:lonMdback,thehi,middle{y/rulesCollisionand{{McomputablhiMeta-signalsM,(sp,eed})lo,M}(0){divM(3){hibackGeometrical(1)loM(3)10back39

Voir icon more
Alternate Text