Na manipulação simbólica de autómatos finitos e importante ter uma representação compacta que os caracterize univocamente, de forma a ser fácil determinar a igualdade entre objectos ou propriedades relacionadas. Apresentamos uma representação por palavras (strings) de autómatos finitos determinísticos inicialmente conexos (ICDFA's), isto e, autómatos em que cada estado e atingível do estado inicial. O metodo permite enumeração exacta e a geração ordenada de todos os autómatos com n estados sobre um alfabeto de k símbolos. Como cada linguagem regular e caracterizada por um autómato finito mínimo (que e um ICDFA) e possível deste modo determinar o número de linguagens regulares distintas aceites por autómatos de n estados sobre um alfabeto de k símbolos. O metodo de geração e facilmente paralelizável e juntamente com uma implementação eficiente de um algoritmo de minimização permite que essa computação seja feita em tempo razoável, para valores pequenos de n e k. Mostramos tambem como podemos gerar aleatoriamente, com uma distribuição garantidamente uniforme, um autómato com um número considerável de estados e símbolos, com base numa tabela de valores pre-calculados. Com base na mesma tabela mostramos como obter uma codificação óptima para os ICDFA's.