© LRS - UNI Erlangen-Nuremberg
1.1.3 Waveform Medvedev Example
(Y,Z) = STATE => Medvedev machine