Guide content/formal languages typo fixes #385
StevenMaude wants to merge
StevenMaude:guide_content/formal-languages-typo-fixes
into uccser:develop
StevenMaude:guide_content/formal-languages-typo-fixes
into uccser:develop