användning af automater , i detman