Języki formalne, automaty i teoria obliczeń
Wykłady
Literatura
Sylabus
Skorowidz