# Ćwiczenia 4, grupa cz. 14-16, 23 marca 2023

###### tags: `SYK23` `ćwiczenia` `pwit`

## Deklaracje

Gotowość rozwiązania zadania należy wyrazić poprzez postawienie X w odpowiedniej kolumnie! Jeśli pożądasz zreferować dane zadanie (co najwyżej jedno!) w trakcie dyskusji oznacz je znakiem ==X== na żółtym tle.

**UWAGA: Tabelkę wolno edytować tylko wtedy, gdy jest na zielonym tle!**

:::danger
| | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| ----------------------:| ----- | --- | --- | --- | --- | --- | --- | --- |
Mikołaj Balwicki | | | | | | | | |
Wojciech Bogucki | | | | | X | X | X | |
Mateusz Cerulewicz | X | | | | X | X | X | |
Mateusz Garncarczyk | X | | | | X | X | X | |
Mateusz Golisz | | | | | X | X | X | |
Mateusz Kitzol | ==X== | | | | X | X | X | |
Piotr Mańkowski | | | | | | | | |
Michał Mękarski | X | | | | X | X | X | |
Aleksandra Nicpoń | | | | | X | X | X | |
Ksawery Plis | | | | | X | X | X | |
Patryk Rybak | X |X| | | X | ==X== | X | |
Rafał Spyra | | | | | X | X | X | |
Dominik Szczepaniak | | | | | X | X | ==X== | |
Taras Tsehenko | | | | | | | | |
Maksymilian Wiśniewski | | | | | ==X== | X | X | |
Martyna Wybraniec | | | | X | X | X | X | |
Natalia Zychowicz | | | | | | | | |
Patryk Maciąg | | | | | X | X | X | |
:::

:::info
**Uwaga:** Po rozwiązaniu zadania należy zmienić kolor nagłówka na zielony.
:::

## Zadanie 1
:::success
Autor: Mateusz Kitzol
:::


**Równania z zadania 8 z listy 3:**

### Etap 0
$AE_{entry}(1) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(1) = \{i, z, x, y, x+y, t\}$

$AE_{entry}(2) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(2) = \{i, z, x, y, x+y, t\}$

$AE_{entry}(3) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(3) =\{i, z, x, y, x+y, t\}$

$AE_{entry}(4) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(4) = \{i, z, x, y, x+y, t\}$

$AE_{entry}(5) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(5) =\{i, z, x, y, x+y, t\}$

$AE_{entry}(6) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(6) = \{i, z, x, y, x+y, t\}$

$AE_{entry}(7) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(7) = \{i, z, x, y, x+y, t\}$

$AE_{entry}(8) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(8) = \{i, z, x, y, x+y, t\}$

$AE_{entry}(9) = \{i, z, x, y, x+y, t\}$
$AE_{exit}(9) = \{i, z, x, y, x+y, t\}$

### Etap 1
$AE_{entry}(1) = \emptyset$
$AE_{exit}(1) = \emptyset$

$AE_{entry}(2) = \emptyset$
$AE_{exit}(2) = \emptyset$

$AE_{entry}(3) = \emptyset$
$AE_{exit}(3) =\emptyset$

$AE_{entry}(4) = \emptyset$
$AE_{exit}(4) = \{i, z\}$

$AE_{entry}(5) = \{i, z\}$
$AE_{exit}(5) =\{i, z, x, y, x+y\}$

$AE_{entry}(6) = \{i, z, x, y, x+y\}$
$AE_{exit}(6) = \{i, z, y\}$

$AE_{entry}(7) = \{i, z, y\}$
$AE_{exit}(7) = \{i, z, t\}$

$AE_{entry}(8) = \{i, z, t\}$
$AE_{exit}(8) = \{z, t\}$

$AE_{entry}(9) = \{i, z\}$
$AE_{exit}(9) = \{i, x, z\}$

### Etap 2
$AE_{entry}(1) = \emptyset$
$AE_{exit}(1) = \emptyset$

$AE_{entry}(2) = \emptyset$
$AE_{exit}(2) = \emptyset$

$AE_{entry}(3) = \emptyset$
$AE_{exit}(3) =\emptyset$

$AE_{entry}(4) = \emptyset$
$AE_{exit}(4) = \{i, z\}$

$AE_{entry}(5) = \{i, z\}$
$AE_{exit}(5) =\{i, z, x, y, x+y\}$

$AE_{entry}(6) = \{i, z, x, y, x+y\}$
$AE_{exit}(6) = \{i, z, y\}$

$AE_{entry}(7) = \{i, z, y\}$
$AE_{exit}(7) = \{i, z, t\}$

$AE_{entry}(8) = \{i, z, t\}$
$AE_{exit}(8) = \{z, t\}$

$AE_{entry}(9) = \{i, z\}$
$AE_{exit}(9) = \{i, x, z\}$

## Zadanie 2
:::success
Autor: Patryk Rybak
:::




## Zadanie 3
:::danger
Autor:
:::

## Zadanie 4
:::success
Autor: Martyna Wybraniec
:::


## Zadanie 5
:::success
Autor: Maksymilian Wiśniewski

*while b {...}*
---
| | |
|:-----:|:--------------:|
| | goto TEST |
| LOOP: | |
| | {...} |
| TEST | |
| | if b goto LOOP |

*for(int i = 0; i < n; i++)*
---

| | |
| ----- |:----------------:|
| | i := 0 |
| | goto TEST |
| LOOP: | |
| | {...} |
| TEST: | |
| | if i<n goto LOOP |

*do {...} while(b)*
---

| | |
| ----- |:--------------:|
| LOOP: | |
| | {...} |
| | if b goto LOOP |

:::

## Zadanie 6
:::success

Autor: Patryk Rybak
:::




## Zadanie 7
:::success
Autor: Dominik Szczepaniak
:::


i := 0
W1:if i >= n goto E3
    minV:= t[i*4] 
    id:=0
    j := i
W2: if j >= n goto E2  
        t1 := j*4   // adres t[j]
        t2 := t[t1] // wartosc z t[j]
        if t2 >= minV goto E1 //jesli t[j] jest wieksze lub rowne obecnemu maxowi to pomijami ifa i idziemy do E1 - czyli kolejny obrot petli
        minV:= t2 //jesli t[j] jest mniejsze niz minV to zastepujemy wartosc
        id:=t1    //nadpisujemy adres najmniejszego elementu
E1:     j:= j + 1
        goto W2
E2: t3:= i*4        // adres t[i]
    t4:= id         // adres t[j] z najmniejsza wartoscia w tablicy
    t5:= t[t3]      //zamieniamy elementy najmniejszy z listy pozostalej z pierwszym elementem sprawdzanym
    t6:= t[t4]
    t[t3] := t6
    t[t4] := t5 
    i:= i+1
    goto W1
E3:

## Zadanie 8
:::danger
Autor:
:::