public controlador_automata(Icontrolador_documento documento)
{
this.documento = documento;
this.estado_automata = null;
this.elemento_alfabeto = null;
this.estado_aceptacion = null;
this.funcion_transicion = null;
obtener_lineas_documento();
}
public fm_Inicio()
{
documento = new controlador_documento();
InitializeComponent();
}