Vi utvecklar en beteendeteori för reflekterande sekventiella algoritmer (RSA), dvs. Sekventiella algoritmer som kan ändra sitt eget beteende. Teorin består av en uppsättning språkoberoende postulater som definierar klassen RSA, en abstrakt maskinmodell, och beviset på att alla RSA fångas av denna maskinmodell. Som i Gurevichs beteendeteori för sekventiella algoritmer RSA är sekventiella, avgränsade parallella algoritmer, där gränsen endast beror på algoritmen och inte på inmatningen. Olika från klass av sekventiella algoritmer varje tillstånd av en RSA inkluderar en representation av algoritmen i detta tillstånd, vilket möjliggör språklig reflektion. Gränsade utforskningar bevaras med termer som värden. Modellen av reflekterande sekventiella abstrakta tillståndsmaskiner (rsASMs) utökar sekventiella ASMs med hjälp av utvidgade tillstånd som inkluderar en updatable representation av den huvudsakliga ASM regel som ska utföras av maskinen i detta tillstånd. Uppdateringar av representationen av ASM-signaturer och regler genomförs med hjälp av en sofistikerad trädalgebra.
En beteendeteori för reflekterande sekventiella algoritmer har utvecklats i REF.
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science', 'Mathematics']}