Actually pushdown transducers are even more fun (context free languages). 13 years ago I played around with visibly push down transducers for format conversion

Actually pushdown transducers are even more fun (context free languages). 13 years ago I played around with visibly push down transducers for format conversion like grammar based binary compression on XML Schema. Can get you down a nice rabbit hole.