Supongamos que tenemos un lenguaje simple que consiste en los términos: truetrue\mathtt{true} falsefalse\mathtt{false} si son términos, entonces también lo es i ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Ahora asuma...
He buscado un poco en google y me he quedado corto. Me pregunto cuáles son las principales razones para que los científicos informáticos, los programadores, estudien la reescritura de términos y / o la reescritura de gráficos de términos. Por lo que puedo decir, solo ayuda para el razonamiento...
Sistema de reescritura es un conjunto de reglas en forma de . Si aplicamos esa regla a una cadena , reemplazamos cualquier subcadena en con una subcadena y viceversa.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Dada una cadena de inicio podemos derivar en el sistema con las siguientes...
Deje → β→β\to_\beta ser β-β\beta reducción en el cálculo λλ\lambda . Definir β-β\beta expansión ← β←β\leftarrow_\beta por t ′ ← β t⟺t → β t ′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . ¿Es ← β←β\leftarrow_\beta confluente? En otras palabras, ¿tenemos eso para cualquier l , d , rl,d,rl,d,r...