In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have developed an educational software, that helps the learner to better understand principles of compiler construction, in particular the semantical analysis of the source program. The