Některé metody formalizace sémantik formálních jazyků - Fryoufová, Květoslava (1971)