Булева алгебра и конечные автоматы