A desktop application built with Java Swing that minimizes finite state machines (FSMs) using the Implication Table Method (also known as the Pair Chart Method). Developed as a bonus project for the ...

An implication table is a tool used to facilitate the minimization of states in a state machine. The concept is to start assuming that every state may be able to combine with every other state, then ...