booleanboehmmurecursivestacktomachine