Reading...
Play button
Play button
Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
13 Cards in this Set
- Front
- Back
|
Token
|
is a category of its lexemes
|
|
|
Backus-Naur Form
|
Revised method of syntax generation
|
|
|
MetaLanguage
|
A language used to describe another language
|
|
|
Left Recursive
|
Is left-recursive if we find some non-terminal A which will eventually derive a sentential form with itself as the left-symbol."
|
|
|
Semantics
|
The meaninng of the expressions, statements, and program units
|
|
|
Syntax
|
The form or structure of the expressions, statements and program units
|
|
|
Lexeme
|
The lowest level syntatic unit of a language
(e.g., sum, begin, number) |
|
|
Context-Free Grammars
|
Langauge Generators, used to describe the syntax of natural langauge
|
|
|
Derivation
|
Repeated application of rules starting with the start symbols ending with a sentence (all terminal symbols)
|
|
|
Attribute values
|
topdown or bottom up
|
|
|
Axiomatic Semantics
|
Based on formal logic (Predicate logic)
Expressions are called assertions |
|
|
Weakest Precondition
|
Guarantees the post condition.
|
|
|
STRONGLY TYPED LANGUAGES
|
PYTHON
JAVA C# ALGOL 68 ADA |
