https://intlibrary.ir/download/finite-automata-formal-logic-and-circuit-comp-2707/