38 lines
2.1 KiB
Plaintext
38 lines
2.1 KiB
Plaintext
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]
|