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

要約

トークンを使用した chemSKI は、すべての書き換えがローカルで行われるコンフルエントなグラフ書き換えシステムであり、さらに SKI 微積分削減を行うために使用できます。
chemSKI のグラフの書き換えは、トークンを使用することで保守的に行われます。
このようにして、我々はいくつかの目標を達成します。それは、化学スタイルでの保守的な書き換え、分散型非集中グラフィカル削減における新しいエッジ名の問題の解決策、および組み合わせ微積分計算のコストの新たな推定です。
この形式主義は、人工化学として、または局所的な還元のみを実行する仮想分散マシンのモデルとして使用できます。
プログラム リポジトリとシミュレーションを含む同じ記事は、github (https://mbuliga.github.io/chemski/chemski-with-tokens.html) で入手できます。

要約(オリジナル)

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

arxiv情報

提供元, 利用サービス

arxiv.jp, Google