Import Successful. Move the states out from the middle to view.
Mode (1, 2, 3):
Updates Automatically
5-tuple A = (Σ, Q, δ, q0, F): ({}, {q0}, {}, q0, {})