Graphics.Autom.Example
example1
example2
example3
example4