Benito García Noriega:
Lenguajes formales como máquinas de inferencia


ISBN: 978-84-8367-536-6
Medidas: 115x165 mm.
Páginas: 48
Fecha de publicación: julio 2016


9,95 € -

Otros Títulos

Libro de actas
Imaginemos un mundo en el que sólo hay dos vasijas de 5 y 7 litros de capacidad, un grifo siempre abierto y un desagüe. Necesitamos que en una vasija haya exactamente 4 litros de agua.

Los lenguajes formales son un instrumento para describir con precisión el mundo. Pero también pueden utilizarse para representar los cambios que acaecen, para prever las consecuencias de las acciones y para resolver problemas.
Esta obra estudia el problema planteado y construye un lenguaje formal que representa el mundo de las vasijas, prevé sus cambios y resuelve el problema planteado.