https://intlibrary.ir/download/languages-automata-and-logic-001-97994/