- Los nodos deben ser etiquetados con números enteros.
- Los arcos pueden ser etiquetados con cualquier carácter imprimible, excepto !, & y # que tienen significado especial.
- El símbolo ! indica que el estado es inicial.
- El símbolo # indica que el estado es de aceptación.
- El símbolo & indica que hay una transición vac&entre los estados.
- Ejemplo: el autómata de la figura debe codificarse como:
 |
1 ! 1 a 2 1 b 23 2 a 2 9 2 23 9 $ 9 9 # 23 $ 9 23 & 2 |
- El símbolo & representa al lenguaje que sólo contiene a la cadena vacía.
- El símbolo @ representa al lenguaje vacío.
- La unión de los lenguajes representados por dos expresiones regulares se representa por medio del operador +.
- La concatenación de las expresiones regulares r y s se representa por la expresión regular rs.
- La clausura de Kleen de r se representa por r*.
- Se admite el uso de paréntesis ( y ) para cambiar la precedencia establecida de los operadores (que, de más a menos, es: clausura, concatenación, unión). No se admiten otras operaciones entre expresiones regulares.
- El resto de símbolos se consideran terminales. Los espacios en blanco son ignorados.