def test_alphabet_unions():
    a = fsm(alphabet={'a'}, states={0, 1}, initial=0, finals={1}, map={0: {'a': 1}})
    b = fsm(alphabet={'b'}, states={0, 1}, initial=0, finals={1}, map={0: {'b': 1}})
    assert (a | b).accepts(['a'])
    assert (a | b).accepts(['b'])
    assert (a & b).empty()
    assert (a + b).accepts(['a', 'b'])
    assert (a ^ b).accepts(['a'])
    assert (a ^ b).accepts(['b'])
def test_alphabet_unions():
    a = fsm(alphabet={'a'}, states={0, 1}, initial=0, finals={1}, map={0: {'a': 1}})
    b = fsm(alphabet={'b'}, states={0, 1}, initial=0, finals={1}, map={0: {'b': 1}})
    assert (a | b).accepts(['a'])
    assert (a | b).accepts(['b'])
    assert (a & b).empty()
    assert (a + b).accepts(['a', 'b'])
    assert (a ^ b).accepts(['a'])
    assert (a ^ b).accepts(['b'])