Zum Testen verschiedener Algorithmen und Spielregeln für die Türme von Hanoi habe ich eine Java-Klasse “Tower” geschrieben. Sie überprüft bei jeder push()-Operation, dass sie die Spielregeln einhält und zählt sie für eine spätere Analyse mit.
Weiterlesen Die Türme von HanoiPeinlich, dass in letzter Zeit kaum noch etwas Inhaltliches gekommen ist und nun das: Ein völlig unwissenschaftlicher Beitrag. Vielleicht zur Motivation gegen Semesterende?
Weiterlesen Turing und seine MaschinenIch hoffe, die Klausuren sind bei euch allen gut gelaufen! Für all die, die sie nicht sofort vergessen wollen oder können, hier meine Gedanken zum Vergleich.
Weiterlesen ZwischenklausurenUnser Tutor empfahl die Materialien der Universität Rostock, die das Hoare-Kalkül recht ausführlich erklären. Gefunden habe ich dazu die Folien eines Vortrages sowie ein längeres, sehr anschauliches Skript.
Weiterlesen Material zum Hoare-KalkülVielleicht kennt der ein oder andere das Programm schon, aber ich will es hier trotzdem noch einmal kurz vorstellen.
Weiterlesen Automaten und Sprachen in JFLAP