private String getEntry(int row, int col)
    {
      String s = "";

      State state = (State)this.dfa.getStates().get(row);
      State toState = state.getTargetState((String)this.alphabet.get(col));

      if (toState != null)
        s = toState.getState_Properties().getName();
      try
      {
        Transition trans = state.getOutgoingTransition(toState);
        if ((trans.getOutput() != null) && 
          (!trans.getOutput().equals("")))
          s = s + " | " + trans.getOutput();
      }
      catch (NoSuchTransitionException ex) {
      }
      return s;
    }