.
die automaten phsm