https://intlibrary.ir/download/finite-automata,-formal-logic,-and-circuit-complex-89964/