FormeleMethode/Automata.cs
/// <summary>
/// Determines whether this instance is dfa.
/// DFA means all states have 1 Transition for each symbol in the alphabet
/// </summary>
Determines whether this instance is dfa.
DFA means all states have 1 Transition for each symbol in the alphabet
Determines whether this instance is dfa . DFA means all states have 1 Transition for each symbol in the alphabet
public bool IsDFA()
		{
			bool isDFA = true;
			foreach(T from in states)
			{
				foreach(char c in symbols)
				{
					isDFA = isDFA && GetToStates(from, c).Count() == 1;
				}
			}
			return isDFA;
		}
public bool IsDFA ( ) { bool isDFA = true ; foreach ( T from in states ) { foreach ( char c in symbols ) { isDFA = isDFA && GetToStates ( from , c ) . Count ( ) == 1 ; } } return isDFA ; }
Determines whether this instance is dfa.
Determines whether this instance is dfa .