4. znalosti teorie formálních jazyků, automatů a překladačů,