This section of the manual deals with many concepts from the subject of formal languages, which might be an area that not all readers are familiar with. Furthermore, some terms might be a bit vague when applied to parsers or compilers in general. For these reasons, we provide an overview of the most important concepts, and how they are used in Storm: