https://thelogictutorial.blogspot.com/2024/03/optimization-of-dfa-based-pattern.html