blob: bfad0eab3172afffd7b0642bf4e0a364a843e874 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
+++
title = "Need for Recursion in the Proof "
date = "2022-06-28"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g2d"]
forwardlinks = []
zettelid = "3a8g2e"
+++
When using the above lemmas, each gamma needs to be paired with a
dominator. If one is at a dominator, then one needs to start the
collection of the execution along the path
$n, R \overset{p}{\longrightarrow^*} m, R'$. If one is then at a γ
function, one can use that path. However, one could also come accross.
![][1]
[1]: attachment:proof-edge-case.svg
|