def test_reduce():
    asdf = fsm(alphabet={None}, states={0, 1, 2}, initial=0, finals={1}, map={0: {None: 2}, 1: {None: 2}, 2: {None: 2}})
    asdf = asdf.reduce()
    assert (len(asdf.states) == 1)
def test_reduce():
    asdf = fsm(alphabet={None}, states={0, 1, 2}, initial=0, finals={1}, map={0: {None: 2}, 1: {None: 2}, 2: {None: 2}})
    asdf = asdf.reduce()
    assert (len(asdf.states) == 1)