Ekstra "oppgave/sp?rsm?lstime" onsdag 29.5 kl 12.15 i sem.rom Java

Onsdag 29. mai har vi en ny "oppgavegjennomgang" hvor man kan sp?rre om ting og tang.   Forel?pige temaer man ?nsker er "konfluens/kritiske par/lokal konfluens", "vektfunksjoner" og "programmring i Maude".  Jeg skal pr?ve ? finne passende oppgaver p? dette torsdag kveld. Eksamen 2013 kan kanskje gjennomg?s.   Send meg gjerne innspill om det er konkrete ting/oppgaver jeg b?r snakke om.  Vanlig tid og sted: kl 12.15 i Java.

--------

Det var ?nske om vektfunksjoner, konfluens, og "programmering i
Maude".

Jeg vil snakke om utvalgte oppgaver:

- Final exam 2008, oppgave 1 har b?de programmering og enkel terminering og konfluens

*  Vektfunksjoner:

- midterm exam 2005, Oppgavene 2.1 og 2.3: finn  "vanlige vektfunksjoner", helst monotone, som viser terminering
- midterm exam 2006, oppg 2.1 og 2.2
- final exam 2007, 1g.2
- midterm 2007, finnes det "vanlige" (helst monotone) vektfunksjoner som kan vise at systemene i Oppg 2 er terminerende?
- finnes det (helst monotone) vektfunksjoner som kan vise terminering av spec'ene i exam 2009, Oppgave 1?
- finnes det en "standard vektfunksjon" (helst monoton) som kan vise at systemet i Oppg 1, exam 2010,  terminerer?
- exam 2018, oppgave 2c
- oppgavene 57-60 i boken

jeg vil gjennomg? et utvalg av disse

* Konfluens:

- midterm 2006, oppg 1
- final 2007, oppgavene 1b og 1h
- exam 2010 oppg 1.4
- oppg 79 og 82 i boken