Module Automaton

module Automaton: sig .. end

Automaton's functions

val add_rule : Core.automaton -> string -> unit

Add the given rule (XXXXX -> A) to the automaton.

val is_rule : Core.automaton -> Core.state list -> bool

Test if the automaton contains the given rule (as a list reversed; for example ADDAD = [D; A; D; D; A])

val ix_to_rule : int -> string

Transform the given int (index) to a rule; for example: 26 -> 11010 -> DDADA