Study your flashcards anywhere!

Download the official Cram app for free >

  • Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off
Reading...
Front

How to study your flashcards.

Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key

Up/Down arrow keys: Flip the card between the front and back.down keyup key

H key: Show hint (3rd side).h key

A key: Read text to speech.a key

image

Play button

image

Play button

image

Progress

1/13

Click to flip

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