Partition
| > | InternalStates:={q0,q1,q2,q3,q4}:
Alphabet:={0,1}: delta:=table(): delta[(q0,0)]:=q0: delta[(q0,1)]:=q1: delta[(q1,0)]:=q0: delta[(q1,1)]:=q2: delta[(q2,0)]:=q2: delta[(q2,1)]:=q1: #Unreachable states delta[(q3,0)]:=q4: delta[(q3,1)]:=q2: delta[(q4,0)]:=q4: delta[(q4,1)]:=q3: InitialState:=q0: FinalStates:={q1,q3}: dfa:=mkDFA(InternalStates,Alphabet,op(delta),InitialState,FinalStates): transitionGraph(dfa); # partitionDFA(dfa); |
 |
| Warning, some unreachable internal states have been removed.
|
 |
| > | InternalStates:={q0,q1,q2,q3,q4}:
Alphabet:={0,1}: delta:=table(): delta[(q0,0)]:=q0: delta[(q0,1)]:=q1: delta[(q1,0)]:=q0: delta[(q1,1)]:=q2: delta[(q2,0)]:=q2: delta[(q2,1)]:=q1: #Unreachable states delta[(q3,0)]:=q4: delta[(q3,1)]:=q2: delta[(q4,0)]:=q3: delta[(q4,1)]:=q1: InitialState:=q0: FinalStates:={q1,q3,q4}: dfa:=mkDFA(InternalStates,Alphabet,op(delta),InitialState,FinalStates): # partitionDFA(dfa); |
| Warning, some unreachable internal states have been removed.
|
(5.5.1) |
 |
(5.5.1) |
| > | n:=20:
eg:=eg: for i from 1 to n do while true do dfa:=randomDFA(6,3,2): p:=partitionDFA(dfa): if nops(p)+1<nops(op(1,dfa)) then eg[i]:=dfa: parti[i]:=p: break; else unassign('dfa'): fi: od: od: op(parti); |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
| Warning, some unreachable internal states have been removed.
|
(5.5.2) |
       |
(5.5.2) |
| > | op(eg); |
                                                                   |
(5.5.3) |
| > | nops(p); |
 |
(5.5.4) |