public void refresh(String texto) { AFNtoAFDtext.AppendText(texto); }
public AFNtoAFD() { InitializeComponent(); AFNtoAFDtext.DeselectAll(); }