This contains the base class for the state (Zustand), a class for a state in which the machine is finished (Endzustand) and a trash state (ZM)
Creates trait AbstractAutomat
Allows to create state machines which take a String as an input
A state machine to check whether a number is a valid binary number