LOGIK Automaten Algorithmen