Ehrlich gesagt, verstehe ich einige Probleme der Hersteller von #SmartHome-Geräten, wie z. B. #BoschSmartHome nicht. Viele Geräte zeigen immer wieder Fehlverhalten im Alltagsbetrieb. Dabei handelt es sich doch ausschließlich um endliche Automaten, die vollständig getestet werden können (und sein sollten). Welche Segnungen der #Automatentheorie werden hier vernachlässigt?