Nimeta järgmises Java funktsioonis esinevad vabad muutujad tähestiku järjekorras, komadega eraldatult. Ära kasuta vastuses tühikuid!

    static int f(int val) {
        int r = 0;
        if (val > ct) {
            r += val;
            return r;
        } else {
            int x = y;
            return x++;
        }
    }

Nimeta järgmises valemis esinevad vabad muutujad

x ∉ a & ∃x[∀y[x ∈ a → y ∈ b]]

Sisesta vabade muutujate nimed tähestiku järjekorras komadega eraldatuna (ära kasuta tühikuid).

Millised allpool toodud C koodi lõigud transleeruvad järgnevaks CMa käskude jadaks, kui ρ  = {x ⟼ 7, y ⟼ 12 }.

loadc 2

Millised järgmistest koodi genereerimise kutsetest on definineeritud (õnnestub koodi genereerida)?

Vali õiges järjekorras sellised CMa käsud, et nende täitmisel satuks magasini tippu muutuja z vastandväärtus (st. kui z=4, siis peab magasini tippu jääma -4 ja vastupidi). Eeldame, et aadresside vastavus on ρ  = {x ⟼ 0, y ⟼ 1, z ⟼ 2 }.

Mis jääb CMa magasini tippu järgmiste käskude täitmise järel?

loadc 10

Märgi järgnevate väidete hulgast kõik tõesed.

javap programm andis sellise väljundi:

Compiled from "Main.java"
public class Main {
  public Main();
    Code:
       0: aload_0
       1: invokespecial #1   // Method java/lang/Object."<init>": ()V
       4: return
  public static void main(java.lang.String[]);
    Code:
       0: new           #2   // class A
       3: dup
       4: invokespecial #3   // Method A."<init>": ()V
       7: astore_1
       8: aload_0
       9: invokestatic  #4   // Method A.f: ([Ljava/lang/String;)V
      12: aload_1
      13: aload_0
      14: iconst_0
      15: aaload
      16: invokevirtual #5   // Method A.f: (Ljava/lang/String;)V
      19: return
}

NB! Pööra tähelepanu tüübideskriptorite erinevusele:

• [Ljava/lang/String;

• Ljava/lang/String;

Ülesanne: Märgi ära kõik õiged väited.

Mitu erinevat muutujat esineb järgnevas valemis

x ∉ a & ∃x[∀y[x ∈ a → y ∈ b]]

Mis on järgmise Mealy masina väljund sisendi "ababada" korral? Selle käitumise kohta võib lugeda jFlap tutorialist.