Minimize std (command)

File:  minimize_std

Description: This program takes an FSM with a completely specified transition function and gives the minimal-state FSM, i.e. equivalent states are merged. The algorithm used is the standard (slow) one found in many introductory textbooks on the subject.

If the FSM has a non-total transition functio, a slightly modified algorithm is used.

Input:  H.fsm - Input FSM (must be deterministic)

Output: H_minimal.fsm - Minimum-State FSM