booleanboehmmurecursivestackmachine