Zlecenie skierowane do usługodawców z
całej Polski
Data dodania:
25 lip 2014, 17:44
Temat: "Zaprogramuj algorytm rozstrzygający problem model checkingu dla logiki CTL dla modeli reprezentowanych przez systemy skończenie stanowe" Chodzi o napisanie programu z gotowego algorytmu opisanego na http://n-soft.pl/ctl.pdf
Należy użyć algorytmów 14 do 16
Termin wykonania: 10 sierpnia 2014
Warunki: Opisana każda istotna linia kodu Wygląd nie ma znaczenia, może być konsola, ale to już jak wygodniej. Jeżeli chodzi o język to preferowany jest C# może być też C++ lub ostatecznie JAVA Wejście to plik (traktujemy to jak automat), w pierwszej linii zapisana jest formuła CTL, a każda kolejna linia zawiera tranzycje w dowolnej formie np (s, k) gdzie s to start, k to koniec Na wyjściu otrzymujemy jedynie true/false.