Övning 8
Mål:
- skriva kod för en liten BNF-syntax (mindre än 10 regler) för ett formellt språk
- systematiskt testa program för att upptäcka fel
Titta på Labb8, Labb9 och Labb10
Dessa tre labbar bygger på varandra.
I Labb 8 ska du skriva ett program som kan kontrollera enkla molekylformler, till exempel H2 eller C12.
I Labb 9 ska du använda rekursiv medåkning för att kontrollera mer komplexa molekyler, t ex C6(H2O)6
Det är viktigt att du strikt följer den givna syntaxen i dessa labbar, annars är det svårt att bli godkänd av domaren Kattis.
1. Övning till Labb 8
För varje regel ska du skriva en funktion (eller metod). När funktionen upptäcker brott mot regeln ska ett felmeddelande skickas. Vilken regel motsvarar vilket felmeddelande?
Saknad stor bokstav | För litet tal | |
<molekyl> ::= <atom> | <atom><num> |
||
<atom> ::= <LETTER> | <LETTER><letter> |
||
<LETTER>::= A | B | C | ... | Z |
||
<letter>::= a | b | c | ... | z |
||
<num> ::= 2 | 3 | 4 | ... |
2. Övning till Labb 9
För varje regel ska du skriva en funktion (eller metod). När funktionen upptäcker brott mot regeln ska ett felmeddelande skickas. Vilken regel motsvarar vilket felmeddelande?
Saknad stor bokstav | Saknad högerparentes | För litet tal | Okänd atom | Felaktig gruppstart | Saknad siffra | |
<formel>::= <mol> \n |
||||||
<mol> ::= <group> | <group><mol> |
||||||
<group> ::= <atom> |<atom><num> | (<mol>) <num> |
||||||
<atom> ::= <LETTER> | <LETTER><letter> |
||||||
<LETTER>::= A | B | C | ... | Z |
||||||
<letter>::= a | b | c | ... | z |
||||||
<num> ::= 2 | 3 | 4 | ... |
3. Övning till Labb 10
I labb 10 ska programmet rita upp en molekylstruktur som ett syntaxträd.
Molekyl: Si(C3(COOH)2)4(H2O)7
Titta på syntaxen i labb 9, och rita med hjälp av den upp syntaxträd för följande molekyler:
-
Molekyl:O
-
Molekyl:CO2
-
Molekyl:(CH3)2(CH2)4
4. Testning
Vad gör följande program?
import unittest
def kvadrat1(n):
return n^2
def kvadrat2(n):
return n**2
class Min_testklass(unittest.TestCase):
def testa_kvadrat1(self):
"""Testar kvadrat med "^" """
self.assertEqual(kvadrat1(5), 25)
def testa_kvadrat2(self):
"""Testar kvadrat med "**" """
self.assertEqual(kvadrat2(5), 25)
if __name__ == '__main__':
unittest.main()
Syntax (gamla tentatal)
-
Värsta webbsyntaxen (Värstingtentan 31 augusti 2000, uppgift 6)
En webbfil innehåller dels webbsidans text, dels taggar för radbrytningar och indragningar. Taggen <BR> ger ny rad och för att få indragning av ett textavsnitt skriver man taggen <Q> före och taggen </Q> efter. Exempelvis ger webbfilen Organismer
Organismer <BR> <Q> Djur <BR> <Q> Flugor <BR> Sillar <BR> </Q> Svamp <BR> <Q> Flugsvamp <BR> Sillkremla <BR> </Q> </Q>
följande webbsideutseende:
Organismer Djur Flugor Sillar Svamp Flugsvamp Sillkremla
Skriv en syntax för webbfiler där endast dessa taggar och vanlig text förekommer. Du kan få använda <text> för att beteckna godtycklig taggfri text.
-
Syntax för kanadensare (Tildatenta 13 mars 2004, uppgift 8 (betyg C))
Olle sitter och rättar ett tentatal. Tentatalet går ut på att man ska skriva en grammatik för meddelanden av följande typ:
Kanot 42, kanot 666, kanot 4711 och kanot 17 ska in! Kanot 1 och kanot 2 ska in! Kanot 13 ska in!
Vilken eller vilka av följande fyra alternativ kan producera dessa meddelanden? Motivera med exempel varför de övriga inte kan producera dem. En del av alternativen kan producera oönskade meningar, man vill tex inte ha 'Kanot 1 och kanot 2, kanot 3 och kanot 4 ska in!' Vilket eller vilka av alternativen kan producera oönskade meningar? Ge exempel.
(1) <meddelande> ::= Kanot <tal><svans> | <meddelande> kanot <tal><svans> <svans> ::= och| ska in! | , <tal> ::= 1 | 2 | 3 | ... (2) <meddelande> ::= Kanot <tal> ska in! | Kanot <tal><svans> <svans> ::= och kanot <tal> ska in! | , kanot <tal><svans> <tal> ::= 1 | 2 | 3 | ... (3) <meddelande> ::= Kanot <tal><svans> <svans> ::= ska in! | , kanot <tal> | och kanot <tal> <tal> ::= <svans> | 1 | 2 | 3 |...
(4) <meddelande> ::= Kanot <tal><svans> | kanot <tal><svans> <svans> ::= ska in! | , | och <tal> ::= 1 | 2 | 3 | ...
-
Testfall (SL-tentan 2014-03-18, uppgift 8)
Anta att du har skrivit en syntax för kommunikation mellan lokförare och trafikledning. Beskriv två olika sorters testfall som man kan testa syntaxen med.
Tilläggsuppgift: Skriv exempel på testfall som man kan testa syntaxen med. Se till att du får med olika sorters testfall.
-
Syntaxträd
Skriv en BNF-grammatik för vanliga taluttryck med operationerna
+ - * /
. Den vanliga prioritetsordningen (*
och/
går före+
och-
) ska gälla mellan operatorerna. Man ska också kunna använda parenteser i taluttrycken.
Rita till sist upp ett syntaxträd för uttrycket2*(3+4*5)
.