Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav07_homework_4 [2007/04/24 22:21] vkuncak |
sav07_homework_4 [2007/04/24 22:22] vkuncak |
||
|---|---|---|---|
| Line 141: | Line 141: | ||
| You can find some example formulas in jahob/examples/nasty_formulas directory of Jahob. | You can find some example formulas in jahob/examples/nasty_formulas directory of Jahob. | ||
| + | |||
| Line 194: | Line 195: | ||
| and then repeating the process we obtain | and then repeating the process we obtain | ||
| - | (if i=i+k then o2 | + | (if i=i+k then o2 else (if i=i then o1 else a(i))) = |
| - | else (if i=i then o1 else a(i))) = | + | (if i+k=i+k then o2 else (if i+k=i then o1 else a(i+k))) |
| - | (if i+k=i+k then o2 | + | |
| - | else (if i+k=i then o1 else a(i+k))) | + | |
| We can in fact simplify *some* of these 'if' expressions, but this is not necessary, and it is not possible in general. For example we cannot eliminate if i=i+k ... because we do now know the value of k. | We can in fact simplify *some* of these 'if' expressions, but this is not necessary, and it is not possible in general. For example we cannot eliminate if i=i+k ... because we do now know the value of k. | ||