Skip to content

maxitg/PostTagSystem

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

41 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Tag Systems

Tag Systems

PostTagSystem implements a tag system introduced by Emil Post in 1921:

{{0, _, _} -> {0, 0}, {1, _, _} -> {1, 1, 0, 1}}

The interesting feature of this system is that it appears to always reach a fixed point, however it does that in a number of generations that varies widely with initial state of queue.

This repository implements the evolution of that system in an attempt to prove that it always reaches a fixed point.