Stuck for a while
In the recent three weeks I had homeworks like for a whole Colombian semester. Additionally, I was stuck for a couple of days with these things:
- Operational semantics: The light for the problem was this Catalin’s sentence: “… all rules directly apply to the whole term, some of them however (the descent rules) allow you to reduce the whole term by reducing a subterm, when reducing the subterm however … you still apply the rules to the whole thing“
- Parallel prefix computation for conversion between unary and halfunary bit vector encodings: The ligth for this problem came from here
- Fanout: This one is not so complicated but this link is usefule anyway.