victor/CursoCiberseguridad
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

several files added

Browse Source
This commit is contained in:
Victor Gracia Enguita
2025-06-16 12:31:41 +02:00
parent a83f018806
commit 7f3d462b02
3 changed files with 198 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
AnalisisDeSoftware/Practica3/arbol_codigo1.txt Normal file
View File

@ -0,0 +1,37 @@
S0: {a: δ, c: ε, b: ζ, all_right: FALSE, aux: 2ζ} | π: true
└── S1: if (a < c / 2)
├── TRUE | π: δ < ε/2
| S2: {a: ε, c: ε+1, b: ζ, all_right: FALSE, aux: 2ζ}
| └── S3: if (b/4 - c <= 0) | evalúa: ζ/4 - (ε+1) <= 0 -> ζ/4 <= ε+1
| ├── TRUE | π: (δ < ε/2) ∧ (ζ/4 <= ε+1)
| | S4: {all_right: TRUE}
| | └── Resultado: WIN ! [Camino 1]
| |
| └── FALSE | π: (δ < ε/2) ∧ (ζ/4 > ε+1)
| S5: {all_right: FALSE}
| └── Resultado: LOSE [Camino 2]
|
└── FALSE | π: δ >= ε/2
S6: {a: δ, c: ε, b: ζ, all_right: FALSE, aux: 2ζ}
└── S7: if (b == 'e') | evalúa: ζ == 101 (ASCII de 'e')
├── TRUE | π: (δ >= ε/2) ∧ (ζ == 101)
| S8: {a: δ+1, c: 2ζ, b: 2(δ+1)} | como ζ=101 -> {a: δ+1, c: 202, b: 2(δ+1)}
| └── S9: if (b/4 - c <= 0) | evalúa: (2(δ+1))/4 - 202 <= 0 -> δ <= 403
| ├── TRUE | π: (δ >= ε/2) ∧ (ζ == 101) ∧ (δ <= 403)
| | S10: {all_right: TRUE}
| | └── Resultado: WIN ! [Camino 3]
| |
| └── FALSE | π: (δ >= ε/2) ∧ (ζ == 101) ∧ (δ > 403)
| S11: {all_right: FALSE}
| └── Resultado: LOSE [Camino 4]
|
└── FALSE | π: (δ >= ε/2) ∧ (ζ != 101)
S12: {a: δ, c: ε, b: ζ, all_right: FALSE, aux: 2ζ}
└── S13: if (b/4 - c <= 0) | evalúa: ζ/4 - ε <= 0 -> ζ/4 <= ε
├── TRUE | π: (δ >= ε/2) ∧ (ζ != 101) ∧ (ζ/4 <= ε)
| S14: {all_right: TRUE}
| └── Resultado: WIN ! [Camino 5]
|
└── FALSE | π: (δ >= ε/2) ∧ (ζ != 101) ∧ (ζ/4 > ε)
S15: {all_right: FALSE}
└── Resultado: LOSE [Camino 6]