Markov algorithms

20260110T084017

A deterministic string rewriting system that always uses the first rule to match.

(note) rewrite systems

See the paper "Alfonso Caracciolo di Forino and Generalized Markov Algorithms", which summarizes Caracciolo's contributions to the field. Caracciolo's team used GMAs to formally simulate both the syntax /and/ semantics of PL/I.

(doi) Caracciolo and GMAs

Proxied content from gemini://tykozic.net/gmi/20260110T084017--markov-algorithm.gmi

Gemini request details:

Original URL
gemini://tykozic.net/gmi/20260110T084017--markov-algorithm.gmi
Status code
Success
Meta
text/gemini;lang=en
Proxied by
kineto

Be advised that no attempt was made to verify the remote SSL certificate.