public override String ToString()
{
StringBuilder buf = new StringBuilder();
buf.Append( StateNumber + ":{" );
for ( int i = 0; i < _nfaConfigurations.Count; i++ )
{
NFAConfiguration configuration = (NFAConfiguration)_nfaConfigurations[i];
if ( i > 0 )
{
buf.Append( ", " );
}
buf.Append( configuration );
}
buf.Append( "}" );
return buf.ToString();
}