While the notation may definitely be a barrier, I believe that the biggest hurdle for most people is the logic required for formal languages and context free gr

While the notation may definitely be a barrier, I believe that the biggest hurdle for most people is the logic required for formal languages and context free grammar. It is very unlikely that many will have much experience writing mathematical proofs, which is what these language definitions turn into, and is much different than working with prose.