Machines signaux :origine puissance retour au raisonnable

1Machinesm?etsFRANCEignDurand-Lose,auxo:od'Orl?ans,rigine,Levopuissance,Senotretourd'InfoauFd'Orl?ans,rOrsaaimaisraisonnableonnJ?r?meableVincentratoMachinesMaxime?Labsignauxratoire:roatiquerondamentaleiUniversit?gOrl?ans,iLRI,ne,ypuissance,3retour201auContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalContinuousMachinesmachines?systemsDiscreteigndelauxtime:ogeometricalrandigAutonomousine,computationpuissance,spaceretourdiscretizationau(Abstractcomputation)rspaceaitimesreasoningonnmoableofdynamicalMotivationContinuousCellulaandrabstractionautomataSignalsMachinessignal?DiscretizationsQSatign(withauxConclusion:o2rinigandine,Duchier)puissance,CAretourtoaumachinesGenericrsolvingaiconstantspaceonndurationableD.31intoCellula4rautomatamachinesMachinesinto?pacesrignsolvingauxD.:o1rtoigGenericine,constantpuissance,durationretour3au4Cellularautomataaisignals2onnQSatableinsCellulaandr(withautomataDuchier)toDiscretizationsignalCAmachinConclusionesraMachinesmachin?MitchellswithignFig.auxto:oAnalyzingr[Boigal.,ine,[Das,puissance,automataretoursignalauesCArsignalsaiccasetonn1991,able7]Crutcheld,Cellula95]rMitchellMachinesmachin?rswithignauxto:oAnalyzingr[Das,igableine,Cellulapuissance,automataretoursignalauesCArsignalsaiCrutcheld,s95]onntoMachinesmachin?rswithignSynchronizationauxto:oDesigningrGoto'sigFiringine,[Goto66]puissance,automataretoursignalauesCArsignalsaisolutionstheonnSquadableProblemCellula