Równanie diofantyczne (automatyka)