Fundamental Operations in BALM - The Unknown Component Problem: Theory and Applications - page 161

.mv CS, NS 2 a b
.mv i 2 i1 i2
.mv o 4 o1 o2 o3 o4

.latch NS CS
.reset CS
a

.table CS -> Acc
.default 1

.table i o CS -> NS
i1 o1 a b
i2 o1 a b
i2 o2 a b

i1 o1 b a
i2 o1 b a
i2 o2 b a
.end
9.4. Problem 3.3 asks to find the largest FSM solution of a given equation. Work
out the same problem by using the suite of commands available in BALM to solve
the equation.
By invoking the command contain in BALM, verify that the (language of the)
largest solution computed before contains indeed the (language of the) FSM M B

that was used to obtain the specification M AB D M A M B .