Programming-Language

formal languages, automata, concepts of programming languages

• Language Evaluation Criteria
• the Factors that influence on Language Design
• Language Categories
• Language Design Trade-offs
• Language Implementation Methods
  • Compilation
  • Pure Interpretation
  • Hybrid Implementation System

• Syntax and Semantics
• Introduction to Describing Syntax
• Methods of Describing Syntax - BNF
• Methods of Describing Syntax - EBNF
• Static Semantics
  • Attribute Grammars
• Dynamic Semantics
  • Operational Semantics
  • Denotational Semantics
  • Axiomatic Semantics

• Lexical Analysis
• Syntax Analysis(Parsing)
• Top down parser - Recursive Descent Parsing
• Bottom up parser - LR Parsing

• Names, Bindings, Scopes

• Data Types

• Expressions, Assignment Statements

• Statement level control structures

• Subprograms

  • Parameters
  • Local Referencing Environments
  • Semantic Models of Parameter Passing
  • Overloaded Subprograms, Generic Subprograms
  • Closures
  • Coroutines (symmetric control)

• Implementing Subprograms
  
  

• Finite Automata

• Regular expressions and regular grammars

• Properties of regular grammar

• Context free languages
• Push Down Automata
• Properties of Context Free Grammars
• Turing Machines