/// <summary>
/// Método que valida una transición dado su estado inicial, estado final y el símbolo.
/// </summary>
/// <param name="transicion">Objeto del tipo Transición.</param>
/// <returns></returns>
private bool ValidaTransicion(Transicion transicion)
{
return(Estados.Contains(transicion.EstadoInicial) &&
Estados.Contains(transicion.EstadoFinal) &&
Lenguaje.Contains(transicion.Simbolo));
}
private bool ValidTransition(Transicion transition)
{
return(Q.Contains(transition.EstadoInicial) &&
Q.Contains(transition.EstadoFinal) &&
Sigma.Contains(transition.Simbolo));
}