https://remp3indir.net/dfa-complement-and-intersection-python-code/