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();
}