Axiomatizing Analog Algorithms
Autor: | Pierre Neron, Nachum Dershowitz, Olivier Bournez |
---|---|
Rok vydání: | 2016 |
Předmět: |
Theoretical computer science
Generic algorithms Computer science Model of computation 010102 general mathematics Expressive language 0102 computer and information sciences 01 natural sciences Hybrid algorithm 010201 computation theory & mathematics Simple (abstract algebra) Hybrid system Abstract state machines Infinitesimal generator 0101 mathematics Algorithm |
Zdroj: | Pursuit of the Universal ISBN: 9783319401881 CiE |
Popis: | We propose a formalization of generic algorithms that includes analog algorithms. This is achieved by reformulating and extending the framework of abstract state machines to include continuous-time models of computation. We prove that every hybrid algorithm satisfying some reasonable postulates may be expressed precisely by a program in a simple and expressive language. |
Databáze: | OpenAIRE |
Externí odkaz: |