DFA Minimisation and Equivalence - Automata Theory

Quick Guide

1

Choose "Change DFAs" to select different DFA pairs

2

Alternate between DFA A and DFA B minimization steps

3

Select correct partitioning choices from 4 options

4

Compare final minimized DFAs for equivalence

DFA A Minimization

DFA A Partitioning Steps

Controls:

Current Action:

Choose partitioning step for DFA A

Choose the correct next step:

DFA A

DFA B

Score: 0

Current Turn: DFA A

Phase: Minimization

DFA B Minimization

DFA B Partitioning Steps