Log Differencing Using State Machines For Anomaly Detection