Concept of discrete world
- There is finite discrete world
- World consists from objects
- Every object is atomic or contains other objects
- Every object is unique, that means:
- No one part of object is shared with some other object
- No object or its part contains itself (also in transitive manner)
- World exists finite amount of time
- Time consists from discrete clock ticks
- Something could happen only at some clock tick
- 'Something' is world state change: one object or one from its parts are created or removed
System concept
- System consists from two parts: world and computer
- Computer have fixed collection of laws describing possible state transitions
- Laws are permitting only one transition per tick
- World state change is happening only when laws are not violated.
Laws language
- Rules that describe initial world state
- Rules that describe state transitions
- Every object have a reason to exist: by rule application or as a part of an initial state