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: |
|