SMS versenden: Simulácia výstupov konečného automatu pomocou jazyka CLIPS