Shared Flashcard Set

Details

PL
Chapter 3
24
Computer Science
Not Applicable
04/25/2007

Additional Computer Science Flashcards

 


 

Cards

Term
Syntax:
Definition
form of its expressions, statements, and program units
Term
semantic
Definition
the meaning of those expression, statements, and program units
Term
language description is for?
Definition
the language implementor (builder of the compilier)
Term
Language generators generate?
Definition
The sentences of a language
Term
Language Recognizers do what?
Definition
Determine if a sentence is valid (The oracle)
Term
Sentence:
Definition
the strings of a language
Term
Sentential form
Definition
each string in the derivation
Term
Derivation
Definition
A sentence generation (Stop studying... you're gonna fail anyway)
Term
Left Recursion
Definition
when a grammar rule has its LHS also in the beginning of the RHS
Term
BNF
Definition
Revised method of syntax description
Term
Ambiguous
Definition
grammar that generates a sentential form for which there are two or more parse trees. (Compilers have a hard time determining meaning)
Term
Cause of Ambiguity
Definition
Less syntactic structure, allowing trees expressions to grow both to the right and left.
Term
static semantics
Definition
categories of languages rules that cannot be (or easily be) describe by a BNF. It has more to do with the syntax, not meaning.
Term
Dynamic Semantics
Definition
meaning of expressions statements, and program units. (For programmers that need to know what a statement does)
Term
Predicate functions
Definition
state the static semantic rules of the language
Term
Synthesize Attribute
Definition
actual attribute value thats passed up the tree
Term
Inherited Attribute
Definition
expected type, that is passed down or across a tree
Term
Semantics
Definition
how to specify the computational behavior of a structure
Term
Operations Semantics
Definition
snapshots of before and after to describe the process
Term
Axiomatic Semantics
Definition
Given pre-conditions prove certain post conditions exist. Each statement must have a concise pre and post condition
Term
Primary Use of Attribute Grammar
Definition
describe static semantics of a langauge.
Term
Problem with software pure interperator
Definition
would only be useful for identically configured machine
Term
Precondition
Definition
assertion preceding a program statement
Term
Post condition
Definition
assertion after a program statement
Supporting users have an ad free experience!