Esos son algunos ejemplos de problemas de decisión expresados como lenguajes: