https://123dok.net/document/yevgk04z-don-care-words-application-totheautomata-based-approach-addition.html