Where Mathematics, Computer Science, Linguistics and Biology Meet