This would be really cool to apply to programming languages. That is, matching abstract syntax trees together.

This way you could identify similar chunks of code. I had an idea related to this for identifying security vulnerabilities: https://news.ycombinator.com/item?id=11573547