con Isabelle/Isar - Dpto. Ciencias de la Computación e Inteligencia ...
con Isabelle/Isar - Dpto. Ciencias de la Computación e Inteligencia ...
con Isabelle/Isar - Dpto. Ciencias de la Computación e Inteligencia ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4 Índice<br />
5 Heurísticas para <strong>la</strong> inducción y recursion general 41<br />
5.1 Heurísticas para <strong>la</strong> inducción . . . . . . . . . . . . . . . . . . . . . . . . . . 41<br />
5.2 Recursión general. La función <strong>de</strong> Ackermann . . . . . . . . . . . . . . . . . 43<br />
5.3 Recursión mutua e inducción . . . . . . . . . . . . . . . . . . . . . . . . . . 45<br />
6 Caso <strong>de</strong> estudio: Compi<strong>la</strong>ción <strong>de</strong> expresiones 49<br />
6.1 Las expresiones y el intérprete . . . . . . . . . . . . . . . . . . . . . . . . . . 49<br />
6.2 La máquina <strong>de</strong> pi<strong>la</strong> . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50<br />
6.3 El compi<strong>la</strong>dor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51<br />
6.4 Corrección <strong>de</strong>l compi<strong>la</strong>dor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51