Fix typos in Formal Languages chapter

[StevenMaude]

Proposed changes

Describe the big picture of your changes here to communicate to the maintainers why we should accept this pull request:

Fixes small typos in the Formal Languages chapter.

Additionally, makes the glossary entry for Finite State Automaton display correctly.

Checklist

Put an x in the boxes that apply. You can also fill these out after creating the pull request. If you're unsure about any of them, don't hesitate to ask. We're here to help! This is simply a reminder of what we are going to look for before merging your change.

• I have read the contribution guidelines
• I have linked any relevant existing issues/suggestions in the description above (include #??? in your description to reference an issue, where ??? is the issue number)
• I have applied the relevant labels for this change
• I have run the generation script and checked the output
• I have added necessary documentation (if appropriate)

Further comments

If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc. Feel free to add any images that might be helpful to understand the initial problem/solution.

The fix for making the Finite State Automaton glossary entry display was to switch double quotes to single inside the definition, which might not be quite as you'd like. However, there doesn't seem to be a way to escape the double quote, it's treated as ending the glossary definition early, so seemed preferable in that it at least makes all the text appear for now.

[JackMorganNZ]

Thanks so much @StevenMaude for your hard work!

[JackMorganNZ]

Thanks so much @StevenMaude for your hard work!