> [CF] was discovered and described by linguists and mathematicians before any programming language existed Nitpick: that was 1956, by then a few PL did alread

> [CF] was discovered and described by linguists and mathematicians before any programming language existed Nitpick: that was 1956, by then a few PL did already exist.