Syntaks og semantik

PBA Software

Introduction

The course is meant to introduce the basic concepts, methods, results and tools from theoretical computer science. The main focus will be on the Theory of Computation, Automata Theory and Operational Semantics. With some of these methods, the students are already familiar from their practical experience in Computer Science.

The course will only stress on the theoretical, mathematical and logical aspects. The course will consist in lectures and exercise sessions divided in class exercises and home works. There will be a major emphasize on solving theoretical problems.

Prerequisite

The students are supposed to have general knowledge of computer science equivalent to the AP Programme in Computer Science and knowledge of discrete mathematics equivalent to the course Contract-based Software Development.

Aim

After attending this course, the students should be able to use the theoretical concepts from computer science and to apply them in organizing their practical activities. They should also be able to work with theoretical projects and to combine the theory and practice in their activities.

The course is a prerequisite for direct admission to the master programme in computer science at Aalborg University.

Contents

I. Automata and Languages

  1. Regular Languages
  2. Finite Automata
  3. Non-determinism
  4. Regular Expressions
  5. Non-regular Languages
  6. Context-Free Languages
  7. Context-Free Grammars
  8. Pushdown Automata
  9. Non-context-free Languages

II. Semantics

  1. Basic principles of Semantics
  2. Abstract Syntax
  3. Transition Systems
  4. Big-step versus Small-step semantics
  5. Elements of Operational Semantics
  6. Language Constructs
  7. Control structures
  8. Blocks and Procedures
  9. Parameters
  10. Concurrent communicating processes

Requirements for Participation

Given the structure of the course, the students are expected to study intensively during the teaching period; the presence at the lectures and at the exercise sessions as well as preparing the homework is mandatory.

Exam

The exam is internal written (3 hours) and graded “passed”/”not passed”.

Literature

Part I: Automata Theory

  • Michael Sipser, Introduction to the Theory of Computation
  • A. K. Dewdney, The New Turing Omnibus

Part II: Semantics

  • Hans Huttel, Transition and Trees
  • H. R. Nielson, F. Nielson, Semantics with Applications

Opsummering

Pris
kr. 4.500,00 momsfri

Sted
UCN act2learn
Sofiendalsvej 60
9200 Aalborg SV

Omfang
Ca. 8 undervisningsdage i perioden incl. eksamen.
Udbydes som tomplads på grunduddannelsen.

Point
5 ECTS

Optagelseskrav
Du skal have gennemført en relevant adgangsgivende uddannelse på niveau med en erhvervsakademiuddannelse eller en relevant videregående voksenuddannelse, samt have mindst 2 års relevant erhvervserfaring efter gennemført adgangsgivende uddannelse. Opfylder du ikke adgangskravene, har du mulighed for at søge dispensation via en realkompetencevurdering hos UCN. Her kan du også læse mulighederne for merit, hvis du allerede har kompetencer på niveau med diplomuddannelsen.

Start
01.09.2018

Slut
31.12.2018

Tilmeldingsfrist
15.08.2018

Kontakt

Maria Ahrenholt Svendsen
Kursussekretær

72 69 16 93
maas@ucnact2learn.dk

TEKNOLOGI OG PRODUKTION