Ask, and it shall be given: On the Turing completeness of prompting
Since the success of GPT, large language models (LLMs) have been revolutionizing
machine learning and have initiated the so-called LLM prompting paradigm. In the era of …
machine learning and have initiated the so-called LLM prompting paradigm. In the era of …
An instruction set for reversible Turing machines
K Morita - Acta Informatica, 2021 - Springer
A reversible Turing machine (RTM) is a standard model of reversible computing that reflects
physical reversibility. So far, to describe an RTM the quadruple formulation and the …
physical reversibility. So far, to describe an RTM the quadruple formulation and the …
[PDF][PDF] ASK, AND IT SHALL BE GIVEN: ON THE TURING COM-PLETENESS OF PROMPTING
Since the success of GPT, large language models (LLMs) have been revolutionizing
machine learning and have initiated the so-called LLM prompting paradigm. In the era of …
machine learning and have initiated the so-called LLM prompting paradigm. In the era of …
[PDF][PDF] Machine Spaces: Axioms and Metrics
J Zimmermann, AB Cremers - aif.bit.uni-bonn.de
An axiom system for machine spaces is introduced. Time is modeled as a totally ordered
monoid, thus allowing discrete, continuous, and transfinite time structures. A generalized …
monoid, thus allowing discrete, continuous, and transfinite time structures. A generalized …