![1D [systems based on] constraints](/nks/notes/notes-5-7--1d-systems-based-on-constraints/thumb.png "1D [systems based on] constraints")
![2D [systems based on] constraints](/nks/notes/notes-5-7--2d-systems-based-on-constraints/thumb.png "2D [systems based on] constraints")
![Checking [tilings with] constraints](/nks/notes/notes-5-7--checking-tilings-with-constraints/thumb.png "Checking [tilings with] constraints")
![Correspondence systems [as constraints]](/nks/notes/notes-5-7--correspondence-systems-as-constraints/thumb.png "Correspondence systems [as constraints]")
![[Excluded blocks in] dynamical systems theory](/nks/notes/notes-5-7--excluded-blocks-in-dynamical-systems-theory/thumb.png "[Excluded blocks in] dynamical systems theory")
![Forcing nested [2D] patterns](/nks/notes/notes-5-7--forcing-nested-2d-patterns/thumb.png "Forcing nested [2D] patterns")
![Formal languages [and constraints]](/nks/notes/notes-5-7--formal-languages-and-constraints/thumb.png "Formal languages [and constraints]")
![Identifying the 171 patterns [that satisfy 2D constraints]](/nks/notes/notes-5-7--identifying-the-171-patterns-that-satisfy-2d-constraints/thumb.png "Identifying the 171 patterns [that satisfy 2D constraints]")
![Non-computable [2D] patterns](/nks/notes/notes-5-7--non-computable-2d-patterns/thumb.png "Non-computable [2D] patterns")
![Non-periodic pattern [forced by 2D constraint]](/nks/notes/notes-5-7--non-periodic-pattern-forced-by-2d-constraint/thumb.png "Non-periodic pattern [forced by 2D constraint]")
![NP completeness [for 2D constraints]](/nks/notes/notes-5-7--np-completeness-for-2d-constraints/thumb.png "NP completeness [for 2D constraints]")
![Numbering scheme [for 2D constraints]](/nks/notes/notes-5-7--numbering-scheme-for-2d-constraints/thumb.png "Numbering scheme [for 2D constraints]")
![Other types of [2D] constraints](/nks/notes/notes-5-7--other-types-of-2d-constraints/thumb.png "Other types of [2D] constraints")
![Representing repetitive [2D] patterns](/nks/notes/notes-5-7--representing-repetitive-2d-patterns/thumb.png "Representing repetitive [2D] patterns")
![Searching for patterns [that satisfy constraints]](/nks/notes/notes-5-7--searching-for-patterns-that-satisfy-constraints/thumb.png "Searching for patterns [that satisfy constraints]")
![The notion of equations [versus constraints]](/nks/notes/notes-5-7--the-notion-of-equations-versus-constraints/thumb.png "The notion of equations [versus constraints]")
![Tiling [problems]](/nks/notes/notes-5-7--tiling-problems/thumb.png "Tiling [problems]")
![Undecidability [for 2D constraints]](/nks/notes/notes-5-7--undecidability-for-2d-constraints/thumb.png "Undecidability [for 2D constraints]")
1D [systems based on] constraints
2D [systems based on] constraints
Checking [tilings with] constraints
Correspondence systems [as constraints]
[Excluded blocks in] dynamical systems theory
Explanations based on constraints
Formal languages [and constraints]
Identifying the 171 patterns [that satisfy 2D constraints]
Matrices satisfying constraints
Non-periodic pattern [forced by 2D constraint]
NP completeness [for 2D constraints]
Numbering scheme [for 2D constraints]
Other types of [2D] constraints
Relation to 1D cellular automata
Relation to 2D cellular automata
Representing repetitive [2D] patterns
Searching for patterns [that satisfy constraints]