Cdigo unario

La codificacin unaria es una codificacin entrpica que representa a un nmero natural n, como un string de n unos. Por ejemplo, 5 se representa en cdigo unario como 11111. Algunas representaciones utilizan un cero para reemplazar el ltimo uno, de manera de evitar perder ambigedad al momento de concatenar dos nmeros codificados en unario. n 1 2 3 4 5 6 7 8 9 codificacin 1 11 111 1111 11111 111111 1111111 11111111 111111111

Teora de autmatas
La teora de autmatas es una rama de las ciencias de la computacin que estudia las mquinas abstractas y los problemas que stas son capaces de resolver. La teora de autmatas est estrechamente relacionada con la teora del lenguaje formal ya que los autmatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer. Un autmata es un modelo matemtico para una mquina de estado finita (FSM sus siglas en ingls). Una FSM es una mquina que, dada una entrada de smbolos, "salta" a travs de una serie de estados de acuerdo a una funcin de transicin (que puede ser expresada como una tabla). En la variedad comn "Mealy" de FSMs, esta funcin de transicin dice al autmata a que estado cambiar dados unos determinados estado y smbolo.