Syntax
Semantics
Lexers
Parsers
Haskell
100
The form of expressions, statements, and other language constructs.
What is syntax?
100
Type of semantic that is interested in execution of the code.
What is Operational Semantics?
100
The identification and tokenization of lexemes.
What is Lexical Analysis?
100
Primary purpose of parsers.
What is to construct parse trees for sentences of a language?
100
The type of language Haskell is.
What is a functional language?
200
A formal language generation mechanism.
What is a grammar?
200
{P1} S1 {P2}, {P2} S2 {P3} __________________________ {P1} S1, S2 {P3}
What is the Rule Of Sequence?
200
A language which can be described using Backus-Naur Form (that is, in terms of terminals, nonterminals, productions, and a start symbol)
What is a context-free language?
200
The meaning of the second "L" in LL Parser.
What is left derivation?
200
In Haskell, this takes a function and a list and applies that function to every element in the list, producing a new list.
What is map?
300
Specifies how the left-hand side abstraction is defined in terms of the tokens, lexemes, and references to other abstractions.
What is a production (or rule)?
300
Inferences without antecedents.
What is an axiom?
300
Creates a parse tree and also determines whether or not sentences of a language can be parsed and prints a diagnostic error message if they cannot.
What is a syntax analyzer (or Parser)?
300
Constructs a parse tree from the leaves up to the root of the tree
What is a bottom up parser?
300
The element that (x !! 4) returns.
What is the element at index 4?
400
An extention to a context-free grammar, which can help to more fully describe the syntax and semantics of a language.
What is an Attribute Grammar?
400
These rules allow us to infer the truth of one assertion based on the truths of other assertions.
What is inference rules?
400
The name of state diagrams for lexers.
What is finite automata?
400
The most common type of top-down parser.
What is a recursive descent parser?
400
The list function that gives all but the last element.
What is init?
500
Specify the static semantics of the language and are associated with productions.
What is a Predicate Function?
500
The range in denotational semantics is called this.
What is semantic domain?
500
Three approaches to implementing a programming language.
What is compilation, interpretation, and a hybrid approach?
500
Test that involves computing sets based on the RHS of nonterminals in the grammar.
What is pairwise disjointness test?
500
Unlike a list, this can contain a combination of several types.
What is a tuple?
M
e
n
u