Working through some Lambda Calc questions but I am having trouble with ones that use multiple sets of parenthesis. Questions like the one below where there are multiple sets divided by variable terms I don't know where to start working from. Also not sure of the overall bounding from that first λx.
Any help would be appreciated of how to work through either of these.
How many reducible expressions does the term have?