Finitely generated subgroups of free groups as formal languages and their cogrowth (Groups, Complexity, Cryptology, 2021)