Minimization of DFA

Procedure

Choose the dfa minimization button and follow the instructions

detailed step

click the dfa button and select example1 to proceed.

detailed step

observe the graph and corresponding table generated carefully.

detailed step

click on the dfa minimization button

detailed step

click on the 0th equivalence and follow the instructions button

detailed step

click on the 1st equivalence button and carefully follow the description given and Iteratively check for equivalence based on input

detailed step

check for 2nd equivalence and Iteratively check for equivalence based on input

detailed step

Iteratively check for equivalence based on input,Consider all possible input symbols

detailed step

Keep iterating through all unmarked pairs and check for equivalence based on input,

detailed step

minimized table has been created successfully, click on the "show minimized graph " button

detailed step