diff options
| author | Guillermo Ramos | 2014-06-02 19:27:06 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2014-06-02 19:27:06 +0200 |
| commit | 5958dc4c2241d553e1689318f482f0a2cbc27050 (patch) | |
| tree | 8dac7e4b5ea9558568e15c4ab34c391f4fe9b4b5 /memoria.tex | |
| parent | 1cc1cdf9af5154b7ffb0240595da3da7ae5b6336 (diff) | |
| download | tfg-5958dc4c2241d553e1689318f482f0a2cbc27050.tar.gz | |
Arreglada gramática pWhile
Diffstat (limited to 'memoria.tex')
| -rwxr-xr-x | memoria.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/memoria.tex b/memoria.tex index 13ef1e4..db67bbe 100755 --- a/memoria.tex +++ b/memoria.tex @@ -247,7 +247,7 @@ etc. Para ello, EasyCrypt implementa un lenguaje distinto llamado pWhile | if $\mathcal{E}$ then $\mathcal{C}$ else $\mathcal{C}$ | while $\mathcal{E}$ do $\mathcal{C}$ | $\mathcal{V} \leftarrow \mathcal{P}(\mathcal{E}, ..., \mathcal{E})$ - | $\mathcal{C} ::=$ skip + $\mathcal{C} ::=$ skip | $\mathcal{I}$; $\mathcal{C}$ \end{bnf} |