datorsimulerade automater .