public String prepareStringToWynik(Automat solucja)
{
String tmpString = "";
tmpString = tmpString + solucja.getStatesNumber() + "," + solucja.getAlphabetLength();
List<int[]> transitionList = solucja.getTransitionTableList();
for (int x = 0; x < solucja.getStatesNumber(); x++)
{
for (int y = 0; y < solucja.getAlphabetLength(); y++)
{
tmpString = tmpString + "," + (transitionList[y][x] + 1);
}
}
return tmpString;
}
List<int>[][] doWydruku(Automat wynik)
{
int wymiar = wynik.getStatesNumber();
List<int>[][] macierz = new List<int>[wymiar][];
for (int i = 0; i < wymiar; i++)
{
List<int>[] tmp = new List<int>[wymiar];
for (int j = 0; j < wymiar; j++)
{
tmp[j] = new List<int>();
}
macierz[i] = tmp;
}
for (int i = 0; i < wynik.getAlphabetLength(); i++)
{
int[] transition = wynik.getTransitionTableList()[i];
for (int y = 0; y < wynik.getStatesNumber(); y++)
{
for (int x = 0; x < wynik.getStatesNumber(); x++)
{
if (transition[x] == y)
{
macierz[x][y].Add(i);
}
}
}
}
return macierz;
}