Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 94: |
Línea 94: |
|
| |
|
| ==== b) ([]p) U q es equivalente a [](p U q) ==== | | ==== b) ([]p) U q es equivalente a [](p U q) ==== |
| (Este lo hablé con Uchitel y me dijo que era correcto resolver así, pero no fue como lo hice en el parcial así que no lo tengo confirmado con corrección) La traza p, {p, q}, {p, ¬q}, {p, ¬q}, {p, ¬q}, .... cumple la primer propiedad pero no la segunda, porque la segunda habla de que siempre cuando vale p eventualmente valdrá q, en cambio la primera solo pide que si valió []p en algún momento, valga q una vez después.
| | La traza p, {p, q}, {p, ¬q}, {p, ¬q}, {p, ¬q}, .... cumple la primer propiedad pero no la segunda, porque la segunda habla de que siempre cuando vale p eventualmente valdrá q, en cambio la primera solo pide que si valió []p en algún momento, valga q una vez después. |
|
| |
|
| === Ejercicio 5 === | | === Ejercicio 5 === |
Línea 110: |
Línea 110: |
|
| |
|
| === Ejercicio 6 === | | === Ejercicio 6 === |
| ==== Escriba un büchi no generalizado que capture la propiedad [](p=>Xq) ====
| |
| [[Archivo:IngSoft2 2parcial 24-11-2022 6buchi.jpg.jpg|miniaturadeimagen|Autómata de buchi no generalizado que captura la propiedad [](p=>Xq)]]
| |
| Mientras no ocurra p vale, pero si ocurre p en el siguiente momento debe volver q.
| |