Lenguajes formales como máquinas de inferencia

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 cambio y resuelve el problema planteado.