Annotation of researchv10dc/cmd/icon/tests/stand/mindfa.out, revision 1.1.1.1

1.1       root        1: Enter states (1 character names): Enter input alphabet: Enter Final states (subset of states): What is the start state? enter delta(a,0) = enter delta(a,1) = enter delta(b,0) = enter delta(b,1) = enter delta(c,0) = enter delta(c,1) = enter delta(d,0) = enter delta(d,1) = enter delta(e,0) = enter delta(e,1) = enter delta(f,0) = enter delta(f,1) = enter delta(g,0) = enter delta(g,1) = enter delta(h,0) = enter delta(h,1) = 
                      2: 
                      3: 
                      4: Original Deterministic Finite Automaton is:
                      5: 
                      6:        (Q,S,delta,q0,F)
                      7: 
                      8: where:
                      9: 
                     10:        Q = {a,b,c,d,e,f,g,h}
                     11:        S = {0,1}
                     12:        F = {d}
                     13:        Start state is a
                     14:        Delta: 
                     15:        d(a,0) = b      d(a,1) = a
                     16:        d(b,0) = a      d(b,1) = c
                     17:        d(c,0) = d      d(c,1) = b
                     18:        d(d,0) = d      d(d,1) = a
                     19:        d(e,0) = d      d(e,1) = f
                     20:        d(f,0) = g      d(f,1) = e
                     21:        d(g,0) = f      d(g,1) = g
                     22:        d(h,0) = g      d(h,1) = d
                     23: 
                     24: 
                     25: 
                     26: Reduced Deterministic Finite Automaton is:
                     27: 
                     28:        (Q,S,delta,q0,F)
                     29: 
                     30: where:
                     31: 
                     32:        Q = {ag,bf,ce,d}
                     33:        S = {0,1}
                     34:        F = {d}
                     35:        Start state is ag
                     36:        Delta: 
                     37:        d(ag,0) = bf    d(ag,1) = ag
                     38:        d(bf,0) = ag    d(bf,1) = ce
                     39:        d(ce,0) = d     d(ce,1) = bf
                     40:        d(d,0) = d      d(d,1) = ag
                     41: 
                     42: 
                     43: 
                     44: Original Deterministic Finite Automaton is:
                     45: 
                     46:        (Q,S,delta,q0,F)
                     47: 
                     48: where:
                     49: 
                     50:        Q = {a,b,c,d,e,f,g,h}
                     51:        S = {0,1}
                     52:        F = {d}
                     53:        Start state is a
                     54:        Delta: 
                     55:        d(a,0) = b      d(a,1) = a
                     56:        d(b,0) = a      d(b,1) = c
                     57:        d(c,0) = d      d(c,1) = b
                     58:        d(d,0) = d      d(d,1) = a
                     59:        d(e,0) = d      d(e,1) = f
                     60:        d(f,0) = g      d(f,1) = e
                     61:        d(g,0) = f      d(g,1) = g
                     62:        d(h,0) = g      d(h,1) = d
                     63: 
                     64: 
                     65: 
                     66: Reduced Deterministic Finite Automaton is:
                     67: 
                     68:        (Q,S,delta,q0,F)
                     69: 
                     70: where:
                     71: 
                     72:        Q = {ag,bf,ce,d}
                     73:        S = {0,1}
                     74:        F = {d}
                     75:        Start state is ag
                     76:        Delta: 
                     77:        d(ag,0) = bf    d(ag,1) = ag
                     78:        d(bf,0) = ag    d(bf,1) = ce
                     79:        d(ce,0) = d     d(ce,1) = bf
                     80:        d(d,0) = d      d(d,1) = ag
                     81: 
                     82: 
                     83: 
                     84: Original Deterministic Finite Automaton is:
                     85: 
                     86:        (Q,S,delta,q0,F)
                     87: 
                     88: where:
                     89: 
                     90:        Q = {a,b,c,d,e,f,g,h}
                     91:        S = {0,1}
                     92:        F = {d}
                     93:        Start state is a
                     94:        Delta: 
                     95:        d(a,0) = b      d(a,1) = a
                     96:        d(b,0) = a      d(b,1) = c
                     97:        d(c,0) = d      d(c,1) = b
                     98:        d(d,0) = d      d(d,1) = a
                     99:        d(e,0) = d      d(e,1) = f
                    100:        d(f,0) = g      d(f,1) = e
                    101:        d(g,0) = f      d(g,1) = g
                    102:        d(h,0) = g      d(h,1) = d
                    103: 
                    104: 
                    105: 
                    106: Reduced Deterministic Finite Automaton is:
                    107: 
                    108:        (Q,S,delta,q0,F)
                    109: 
                    110: where:
                    111: 
                    112:        Q = {ag,bf,ce,d}
                    113:        S = {0,1}
                    114:        F = {d}
                    115:        Start state is ag
                    116:        Delta: 
                    117:        d(ag,0) = bf    d(ag,1) = ag
                    118:        d(bf,0) = ag    d(bf,1) = ce
                    119:        d(ce,0) = d     d(ce,1) = bf
                    120:        d(d,0) = d      d(d,1) = ag
                    121: 
                    122: 
                    123: 
                    124: Original Deterministic Finite Automaton is:
                    125: 
                    126:        (Q,S,delta,q0,F)
                    127: 
                    128: where:
                    129: 
                    130:        Q = {a,b,c,d,e,f,g,h}
                    131:        S = {0,1}
                    132:        F = {d}
                    133:        Start state is a
                    134:        Delta: 
                    135:        d(a,0) = b      d(a,1) = a
                    136:        d(b,0) = a      d(b,1) = c
                    137:        d(c,0) = d      d(c,1) = b
                    138:        d(d,0) = d      d(d,1) = a
                    139:        d(e,0) = d      d(e,1) = f
                    140:        d(f,0) = g      d(f,1) = e
                    141:        d(g,0) = f      d(g,1) = g
                    142:        d(h,0) = g      d(h,1) = d
                    143: 
                    144: 
                    145: 
                    146: Reduced Deterministic Finite Automaton is:
                    147: 
                    148:        (Q,S,delta,q0,F)
                    149: 
                    150: where:
                    151: 
                    152:        Q = {ag,bf,ce,d}
                    153:        S = {0,1}
                    154:        F = {d}
                    155:        Start state is ag
                    156:        Delta: 
                    157:        d(ag,0) = bf    d(ag,1) = ag
                    158:        d(bf,0) = ag    d(bf,1) = ce
                    159:        d(ce,0) = d     d(ce,1) = bf
                    160:        d(d,0) = d      d(d,1) = ag
                    161: 
                    162: 
                    163: 
                    164: Original Deterministic Finite Automaton is:
                    165: 
                    166:        (Q,S,delta,q0,F)
                    167: 
                    168: where:
                    169: 
                    170:        Q = {a,b,c,d,e,f,g,h}
                    171:        S = {0,1}
                    172:        F = {d}
                    173:        Start state is a
                    174:        Delta: 
                    175:        d(a,0) = b      d(a,1) = a
                    176:        d(b,0) = a      d(b,1) = c
                    177:        d(c,0) = d      d(c,1) = b
                    178:        d(d,0) = d      d(d,1) = a
                    179:        d(e,0) = d      d(e,1) = f
                    180:        d(f,0) = g      d(f,1) = e
                    181:        d(g,0) = f      d(g,1) = g
                    182:        d(h,0) = g      d(h,1) = d
                    183: 
                    184: 
                    185: 
                    186: Reduced Deterministic Finite Automaton is:
                    187: 
                    188:        (Q,S,delta,q0,F)
                    189: 
                    190: where:
                    191: 
                    192:        Q = {ag,bf,ce,d}
                    193:        S = {0,1}
                    194:        F = {d}
                    195:        Start state is ag
                    196:        Delta: 
                    197:        d(ag,0) = bf    d(ag,1) = ag
                    198:        d(bf,0) = ag    d(bf,1) = ce
                    199:        d(ce,0) = d     d(ce,1) = bf
                    200:        d(d,0) = d      d(d,1) = ag
                    201: 
                    202: 
                    203: 
                    204: Original Deterministic Finite Automaton is:
                    205: 
                    206:        (Q,S,delta,q0,F)
                    207: 
                    208: where:
                    209: 
                    210:        Q = {a,b,c,d,e,f,g,h}
                    211:        S = {0,1}
                    212:        F = {d}
                    213:        Start state is a
                    214:        Delta: 
                    215:        d(a,0) = b      d(a,1) = a
                    216:        d(b,0) = a      d(b,1) = c
                    217:        d(c,0) = d      d(c,1) = b
                    218:        d(d,0) = d      d(d,1) = a
                    219:        d(e,0) = d      d(e,1) = f
                    220:        d(f,0) = g      d(f,1) = e
                    221:        d(g,0) = f      d(g,1) = g
                    222:        d(h,0) = g      d(h,1) = d
                    223: 
                    224: 
                    225: 
                    226: Reduced Deterministic Finite Automaton is:
                    227: 
                    228:        (Q,S,delta,q0,F)
                    229: 
                    230: where:
                    231: 
                    232:        Q = {ag,bf,ce,d}
                    233:        S = {0,1}
                    234:        F = {d}
                    235:        Start state is ag
                    236:        Delta: 
                    237:        d(ag,0) = bf    d(ag,1) = ag
                    238:        d(bf,0) = ag    d(bf,1) = ce
                    239:        d(ce,0) = d     d(ce,1) = bf
                    240:        d(d,0) = d      d(d,1) = ag
                    241: 
                    242: 
                    243: 
                    244: Original Deterministic Finite Automaton is:
                    245: 
                    246:        (Q,S,delta,q0,F)
                    247: 
                    248: where:
                    249: 
                    250:        Q = {a,b,c,d,e,f,g,h}
                    251:        S = {0,1}
                    252:        F = {d}
                    253:        Start state is a
                    254:        Delta: 
                    255:        d(a,0) = b      d(a,1) = a
                    256:        d(b,0) = a      d(b,1) = c
                    257:        d(c,0) = d      d(c,1) = b
                    258:        d(d,0) = d      d(d,1) = a
                    259:        d(e,0) = d      d(e,1) = f
                    260:        d(f,0) = g      d(f,1) = e
                    261:        d(g,0) = f      d(g,1) = g
                    262:        d(h,0) = g      d(h,1) = d
                    263: 
                    264: 
                    265: 
                    266: Reduced Deterministic Finite Automaton is:
                    267: 
                    268:        (Q,S,delta,q0,F)
                    269: 
                    270: where:
                    271: 
                    272:        Q = {ag,bf,ce,d}
                    273:        S = {0,1}
                    274:        F = {d}
                    275:        Start state is ag
                    276:        Delta: 
                    277:        d(ag,0) = bf    d(ag,1) = ag
                    278:        d(bf,0) = ag    d(bf,1) = ce
                    279:        d(ce,0) = d     d(ce,1) = bf
                    280:        d(d,0) = d      d(d,1) = ag
                    281: 
                    282: 
                    283: 
                    284: Original Deterministic Finite Automaton is:
                    285: 
                    286:        (Q,S,delta,q0,F)
                    287: 
                    288: where:
                    289: 
                    290:        Q = {a,b,c,d,e,f,g,h}
                    291:        S = {0,1}
                    292:        F = {d}
                    293:        Start state is a
                    294:        Delta: 
                    295:        d(a,0) = b      d(a,1) = a
                    296:        d(b,0) = a      d(b,1) = c
                    297:        d(c,0) = d      d(c,1) = b
                    298:        d(d,0) = d      d(d,1) = a
                    299:        d(e,0) = d      d(e,1) = f
                    300:        d(f,0) = g      d(f,1) = e
                    301:        d(g,0) = f      d(g,1) = g
                    302:        d(h,0) = g      d(h,1) = d
                    303: 
                    304: 
                    305: 
                    306: Reduced Deterministic Finite Automaton is:
                    307: 
                    308:        (Q,S,delta,q0,F)
                    309: 
                    310: where:
                    311: 
                    312:        Q = {ag,bf,ce,d}
                    313:        S = {0,1}
                    314:        F = {d}
                    315:        Start state is ag
                    316:        Delta: 
                    317:        d(ag,0) = bf    d(ag,1) = ag
                    318:        d(bf,0) = ag    d(bf,1) = ce
                    319:        d(ce,0) = d     d(ce,1) = bf
                    320:        d(d,0) = d      d(d,1) = ag
                    321: 
                    322: 
                    323: 
                    324: Original Deterministic Finite Automaton is:
                    325: 
                    326:        (Q,S,delta,q0,F)
                    327: 
                    328: where:
                    329: 
                    330:        Q = {a,b,c,d,e,f,g,h}
                    331:        S = {0,1}
                    332:        F = {d}
                    333:        Start state is a
                    334:        Delta: 
                    335:        d(a,0) = b      d(a,1) = a
                    336:        d(b,0) = a      d(b,1) = c
                    337:        d(c,0) = d      d(c,1) = b
                    338:        d(d,0) = d      d(d,1) = a
                    339:        d(e,0) = d      d(e,1) = f
                    340:        d(f,0) = g      d(f,1) = e
                    341:        d(g,0) = f      d(g,1) = g
                    342:        d(h,0) = g      d(h,1) = d
                    343: 
                    344: 
                    345: 
                    346: Reduced Deterministic Finite Automaton is:
                    347: 
                    348:        (Q,S,delta,q0,F)
                    349: 
                    350: where:
                    351: 
                    352:        Q = {ag,bf,ce,d}
                    353:        S = {0,1}
                    354:        F = {d}
                    355:        Start state is ag
                    356:        Delta: 
                    357:        d(ag,0) = bf    d(ag,1) = ag
                    358:        d(bf,0) = ag    d(bf,1) = ce
                    359:        d(ce,0) = d     d(ce,1) = bf
                    360:        d(d,0) = d      d(d,1) = ag
                    361: 
                    362: 
                    363: 
                    364: Original Deterministic Finite Automaton is:
                    365: 
                    366:        (Q,S,delta,q0,F)
                    367: 
                    368: where:
                    369: 
                    370:        Q = {a,b,c,d,e,f,g,h}
                    371:        S = {0,1}
                    372:        F = {d}
                    373:        Start state is a
                    374:        Delta: 
                    375:        d(a,0) = b      d(a,1) = a
                    376:        d(b,0) = a      d(b,1) = c
                    377:        d(c,0) = d      d(c,1) = b
                    378:        d(d,0) = d      d(d,1) = a
                    379:        d(e,0) = d      d(e,1) = f
                    380:        d(f,0) = g      d(f,1) = e
                    381:        d(g,0) = f      d(g,1) = g
                    382:        d(h,0) = g      d(h,1) = d
                    383: 
                    384: 
                    385: 
                    386: Reduced Deterministic Finite Automaton is:
                    387: 
                    388:        (Q,S,delta,q0,F)
                    389: 
                    390: where:
                    391: 
                    392:        Q = {ag,bf,ce,d}
                    393:        S = {0,1}
                    394:        F = {d}
                    395:        Start state is ag
                    396:        Delta: 
                    397:        d(ag,0) = bf    d(ag,1) = ag
                    398:        d(bf,0) = ag    d(bf,1) = ce
                    399:        d(ce,0) = d     d(ce,1) = bf
                    400:        d(d,0) = d      d(d,1) = ag

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.