Artykuł  

Dynamic Turing Machine - model and properties for runtime code changes

Link do zdalnego zasobu
Dostęp z terminali w BG AGH
Data publikacji
2016
Data publikacji (copyright)
Data prezentacji
Data obrony
Data nadania stopnia
Autorzy (rel.)
Rudy, Jarosław
Nr albumu:
Prawa dostępu
Dostęp: otwarty dostęp
Uwagi:
Prawa: CC BY 4.0
Attribution 4.0 International
Uznanie autorstwa 4.0 Międzynarodowe (CC BY 4.0)

Inny tytuł
Typ zasobu:
artykuł
Wersja
wersja wydawnicza
Sygnatura:
Nr normy / patentu
Numer czasopisma (rel.)
Numer czasopisma
Computer Science
2016 - Vol. 17 - No. 2
Szczegóły wydania / pracy
Uczelnia:
Opublikowane w: Computer Science. -:. Vol. 17 No. 2, pp. 187-224
Opis fizyczny:Skala:Zasięg:
ISBN:e-ISBN:
Seria:ISSN: 1508-2806e-ISSN: 2300-7036
Jednostka AGH:
Kierunek:
Forma studiów:
Stopień studiów:
Uzyskany tytuł:
Instytucja sprawcza:
Redaktorzy (rel.)
Promotorzy (rel.)
Recenzenci (rel.)
Projekty badawcze (rel.)
Projekt
Tytuł:
ID:Program:
Instytucja Finansująca
ROR: 
Dane badawcze:
Jednostki organizacyjne (rel.)
Wydarzenia (rel.)
Dyscyplina
Słowa kluczowe
computability theory, models of computation, turing machine, runtime code changes
Dyscyplina (2011-2018)
Specjalność
Klasyfikacja MKP
Abstrakt

In this paper, a dynamic model of computation based on the Universal Turing Machine is proposed. This model is capable of applying runtime code modifications for 3-symbol deterministic Turing Machines at runtime and requires a decomposition of the simulated machine into parts called subtasks. The algorithm for performing runtime changes is considered, and the ability to apply runtime changes is studied through computer simulations. Theoretical properties of the proposed model, including computational power as well as time and space complexity, are studied and proven. Connections between the proposed model and Oracle Machines are discussed. Moreover, a possible method of implementation in real-life systems is proposed.

Opis
Zawartość