目前还没到那个程度,其实对于会编程的人来说很简单的,例如像做一个简单软件,可以实现这个功能,Das Programm liest ein Transitionssystem.Das Programm liest Relations-Zeilen der folgenden Form:E <Whitespace> <Zustand> <Whitespace> <Zustand>, E ist das Operationssymbol und meint hir Übergang zwieschen zwei Zuständen (ohne Übergangssymbol).<Zustand> ist eine beliebige Zeichenkette und bezeichnet einen Zustand. Anschließend wird die Initialmenge gelesen: I(<Whitespace><Zustand>)*, Das Programm ermittelt die kleinste Fixpunktlösung für GL1.(X=I U Succ(X)).
总之应该不是很难的东西,对于很会编程的人来说,而且算法我已经有了,结构的东西也有,就差把它编好就行了。如果有人可以的话。我就把完整的Aufgabe发过去,下个星期五之前需要能做好。 |