Matematyczne metody definiowania języków programowania P. DEMBIŃSKI J.MAŁUSZYŃSKI
Producent: [226]
Cena: 25,00 zł
WNT 1981, 1981, str 200 stan db. W książce podano podstawowe pojęcia związane z opisem i definiowaniem języków programowania. Przedstawiono formalizmy opisu składni — gramatyki bezkontekstowe i gramatyki dwupoziomowe — a następnie metody formalizacji opisu semantyki — od metod związanych z maszyną, poprzez semantykę denotacyjną w ujęciu Scotta-Stracheya do metody aksjomatycznej. Następnie pokaz (zobacz więcej ...)