Hardware Reference
In-Depth Information
Fig. 9.6 Graphical output of
BALM showing the
automaton S27Fs.aut
The automaton is incomplete (2 states) and deterministic.
5 inputs 2 states 4 transitions
Inputs = { G0, G1, G2, G3, G17 }
--1-1
-0--1
-0-1-
a
0-1--
00---
--1-1
0-1--
-10-1
010--
--0-1
0-0--
b
Fig. 9.7 Graphical output
of BALM showing the
automaton S27as.aut
The automaton is incomplete (3 states) and deterministic.
5 inputs 3 states 7 transitions
Inputs = { G0, G1, G2, G3, G17 }
00
0---1
-0-10
0---0
-0-10
01
1---1
0---1
1---1
10
1---1
The automaton is incomplete (6 states) and deterministic.
5 inputs 6 states 27 transitions
Inputs = { G0, G1, G2, G3, G17 }
a00
0-1-1
00--1
-0-10
-0-1-0
-0-1-0
00--0
0-1-1
00--1
1-1-1
a01
10--1
1-1-1
10--1
110-1
0-1-1
1-1-1
110-1
a10
010-1
0-1-0
10--1
00010
1-1-1
110-1
1-1-1
b10
010-1
0-1-0
010-0
1-0-1
0-0-1
1-1-1
1-0-1
0-0-1
b00
1-0-1
00010
b01
0-0-0
Fig. 9.8 Graphical output of BALM showing the automaton S27 prod.aut obtained by taking
the product of the automata S27Fs.aut and S27as.aut
 
Search WWH ::




Custom Search