module Automaton:
| Parameters: |
|
val name : stringtypestate =int
typeconfiguration =state array
val transition_rule : int array array -> int array -> int -> intval initialize : int -> int arrayval states : int arrayval color_of_state : int -> Graphics.color