Part 1 Glossary Flashcards
Algorithm 1
Turns an NFA into a DFA
Algorithm 2
Turns an automaton into a pattern
Algorithm 3
Takes a pattern and turns it into an NFA with e transitions
Alphabet
A set of letters
Ambiguity
A word is ambiguously generated if we have a grammar that has two parse trees for it
Backus-Naur form
A particular way of writing down a grammar popular within computer science, in particular for the syntax of programming lanugages
CFG
Context free grammar. Rules for generating words using rewrite rules
Context free
A language is context free if there is a CFG generating it
NFA
Non deterministic finite automation. Defines a language
Non terminal symbol
An auxiliary symbol used to describe a grammar- we want to create words that do not contain auxiliary symbols
Parse Tree
A parse tree shows how a string can be generated from a given grammar in a more useful way then a derivation.
Pattern
A particular kind of string used to define lanugages
Regular
A language is regular if it can be defined using a pattern
Regular expression
A pattern
Right-linear
A grammar is right-linear if its production rules are particularly simple. Non terminal symbol always appears on the right side