Turing-dynamische Systeme, abstrakte Version von Turingmaschinen, werden mittels Gruppoide definiert und untersucht. Die wichtigste vorgelegte Anwendung betrifft das Atiyah-Problem. Zum ...