Praison AI

DFA for ~L(M2)

—

by

Naseem Hoque

A deterministic finite automaton for the complement of L(M2) by swapping the accepting and non-accepting states of M2.