automaton_minimal/3

Availability:built-in

[det]automaton_minimal(+Automaton, -Minimal, -Map)

As automaton_minimal/2, where Map says what became of each state. It is a compound of the same arity as Automaton whose argument I is the state of Minimal that state I of Automaton collapsed into, or 0 if the start state could not reach it:

?- automaton_minimal(automaton(f(2,3), g(1), g(1), a), M, Map).
M = automaton(f(2, 2), g(1)),
Map = map(1, 2, 2, 0).

History

Introduced in 10.1.15 (👉53824aa) term_automaton/2 and automaton_minimal/2,3