# Quine graphs

Given a graph rewrite system. a graph G is a quine graph if it has a non-void maximal non-conflicting collection of rewrite patterns,  such that after the rewrites from the collection are done in parallel we obtain a graph isomorphic with G. 

We invite you to  explore some of their properties, with examples taken from lambda calculus, interaction combinators and [chemlambda](https://chemlambda.github.io/index.html). 

## Part of: 

* [Chemlambda projects page](https://chemlambda.github.io/index.html) 


## Technical notes:

* [Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators](https://arxiv.org/abs/2003.1433) 

* [Artificial life properties of directed interaction combinators vs. chemlambda](https://mbuliga.github.io/quinegraphs/ic-vs-chem.html#icvschem) 

* [Graph rewrites, from emergent algebras to chemlambda](https://mbuliga.github.io/quinegraphs/history-of-chemlambda.html)


## Demos


* [Interaction Combinators and chemlambda quine graphs](https://mbuliga.github.io/quinegraphs/ice.html) 

* [How to test a quine](https://mbuliga.github.io/quinegraphs/quinecheck.html) 

* [The Ouroboros: from lambda terms to quine graphs](https://mbuliga.github.io/quinegraphs/ouroboros.html)

* [Lambda calculus  to chemlambda parser](https://mbuliga.github.io/quinegraphs/lambda2mol.html) 

* [The quine lab](https://mbuliga.github.io/quinegraphs/quinelab.html) 

### See also

* [The collection of chemlambda animations salvaged from google+](https://chemlambda.github.io/collection.html)

### More here

* Graphs figth arena (will turn into a tool to explore communities of quines):  https://mbuliga.github.io/quinegraphs/arena.html

* Lambda terms reduced with chemlambda: https://mbuliga.github.io/quinegraphs/lambda.html