module Stable: sig .. end
Stable calculus
val get_all_unstables : Core.automaton -> int list
Get all unstable rules (index) from the given automaton, for example: AAAAD -> A or AAAAA -> D.
val stables : Core.automaton -> int -> string list
Transform the given automaton into a formula to calculate all stable generations.