Teoria języków formalnych, automatów i gramatyk weszła na stałe do kanonów programowych studiów informatycznych, zarówno uniwersyteckich, jak i technicznych. Będąc jedną z podstawowych dziedzin infor