Vorlesung 9 Grüning

Aus ProgrammingWiki

Archivierte Version vom 2021-05-28T13:12:46+00:00. Aktuelle Version

Seite 11

Seite 17

Seite 32 KA

def get_sqrt_int(n):
	nat = 0
	ret = 0
	while True:
		if nat **2 <= n:
			ret = nat
		else:
			return ret
		nat += 1

print(get_sqrt_int(5))

Code für eine Register Maschine für $w(n) = \floor\sqrt(n)\rfloor

R_param = 5 # n
R_quad_param_1 = 0
R_quad_param_2 = 0
R_nat = 0 # nat
R_ret = 0 # ret
R_one = 1 # +/-= 1
while:
    R_quad_param_1 = R_nat
    GOTO quad
    if_sqrt:
        R_quad_param_2 = R_param
        GOTO Ist_A_kleiner_gleich_B_start
        A_kleiner_gleich_b_end:
            #R_quad_param <= n
            IFZERO R_quad_param_1 GOTO else
                R_ret = R_nat
                GOTO plus
            else:
                R_param = R_ret
                STOP
            plus:
                R_nat += R_one
            GOTO while

quad: #R_quad_param_1
R_second_quad_factor = R_quad_param_1
R_quad_helper = 0
if_quad:
    IFZERO R_second_quad_factor GOTO ende_quad
    R_quad_helper += R_quad_param_1 (Vorbelegungen der Register mit Null)
    R_second_quad_factor -= R_one
    GOTO if_quad
ende_quad:
    R_quad_param_1 = R_quad_helper
    GOTO if_sqrt


Ist_A_kleiner_gleich_B_start:
IFZERO R_quad_param_2 GOTO B_zero
IFZERO R_quad_param_1 GOTO A_kleiner_B
    R_quad_param_1 -= R_one
    R_quad_param_2 -= R_one
    GOTO Ist_A_kleiner_gleich_B_start
B_zero:
IFZERO R_quad_param_1 GOTO A_gleich_B
A_größer_B:
R_quad_param_1 = 0
GOTO A_kleiner_gleich_b_end
A_gleich_B:
R_quad_param_1 = 1
GOTO A_kleiner_gleich_b_end
A_kleiner_B:
R_quad_param_1 = 1
GOTO A_kleiner_gleich_b_end

Vorlesung 9 Grüning

Seite 11

Seite 17

Seite 32 KA

Suche