chemSKI with tokens: world building and economy in the SKI universe

06/01/2023
by   Marius Buliga, et al.
0

chemSKI with tokens is a confluent graph rewrite system where all rewrites are local, which moreover can be used to do SKI calculus reductions. The graph rewrites of chemSKI are made conservative by the use of tokens. We thus achieve several goals: conservative rewrites in a chemical style, a solution to the problem of new edge names in a distributed, decentralized graphical reduction and a new estimation of the cost of a combinatory calculus computation. This formalism can be used either as an artificial chemistry or as a model of a virtual decentralized machine which performs only local reductions. A programs repository and the same article with simulations are available at github at https://mbuliga.github.io/chemski/chemski-with-tokens.html

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/08/2023

The Vulnerable Nature of Decentralized Governance in DeFi

Decentralized Finance (DeFi) platforms are often governed by Decentraliz...
research
07/07/2020

Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators

Here I report about the modifications of and relations between graphic l...
research
04/05/2023

Picturing counting reductions with the ZH-calculus

Counting the solutions to Boolean formulae defines the problem #SAT, whi...
research
12/16/2022

Call-By-Name Is Just Call-By-Value with Delimited Control

Delimited control operator shift0 exhibits versatile capabilities: it ca...
research
05/12/2020

Artificial life properties of directed interaction combinators vs. chemlambda

We provide a framework for experimentation at https://mbuliga.github.io/...
research
08/06/2020

Leading Digital Socio-Economy to Efficiency – A Primer on Tokenomics

Through the usage of cryptographically secure and digitally scarce token...
research
07/04/2022

How centralized is decentralized? Comparison of wealth distribution in coins and tokens

Rapidly growing distributed ledger technologies (DLTs) have recently rec...

Please sign up or login with your details

Forgot password? Click here to reset