Beispiel #1
0
 public static IAutomat[] GenerateRandomAutomats(int count) {
     var retAut = new List<IAutomat>();
     for (int i = 0; i < count; i++) {
         retAut.Add(DFA.GenerateRandom());
         retAut.Add(NFA.GenerateRandom());
         retAut.Add(NFAe.GenerateRandom());
         retAut.Add(StatePDA.GenerateRandom());
         retAut.Add(StackPDA.GenerateRandom());
         retAut.Add(DPDA.GenerateRandom());
         retAut.Add(TuringMachineSingleBand.GenerateRandom());
         retAut.Add(TuringMachineSingleBand1659.GenerateRandom());
         retAut.Add(TuringMachineMultiTrack.GenerateRandom());
         retAut.Add(NTM1659.GenerateRandom());
     }
     return retAut.ToArray();
 }