hier sind java-programme zu finden, mit denen man in einer einfachen programmierumgebung mit (deterministischen) automaten, turing-maschinen etc. programmieren kann. zwingt zu logischem denken.