automaty sa generuju do 3 stavov, nie 2 ako v predoslom pushi