Title:

Theoretical Computer Science 1

Code:TI1
Ac.Year:ukončen 2004/2005
Term:Winter
Curriculums:
ProgrammeBranchYearDuty
EI-BC-3VTB2nd Stage/2nd YearElective
EI-MSC-3VTN1stCompulsory
EI-MSC-5VTI2nd Stage/1st YearCompulsory
Language:Czech
Public info:http://www.fit.vutbr.cz/study/courses/TI1/public/
Credits:6
Completion:accreditation+exam (written)
Type of
instruction:
Hour/semLecturesSem. ExercisesLab. exercisesComp. exercisesOther
Hours:39120212
 ExaminationTestsExercisesLaboratoriesOther
Points:60200020
Guarantee:Češka Milan, prof. RNDr., CSc., DITS
Lecturer:Češka Milan, prof. RNDr., CSc., DITS
Instructor:Marek Vladimír, Ing., DITS
Rogalewicz Adam, doc. Mgr., Ph.D., DITS
Vojnar Tomáš, prof. Ing., Ph.D., DITS
Faculty:Faculty of Information Technology BUT
Department:Department of Intelligent Systems FIT BUT
Prerequisites: 
Algebra and Graphs (AGR), DMAT
Algorithms and Programming (APR), DIFS
Follow-ups:
Computability and Complexity (VSL), DITS
Modelling and Simulation (MSI), DITS
Principles of Compiler Design (ZAP), DIFS
Theoretical Computer Science 2 (TI2), DITS
 
Learning objectives:
  Adoption of fundamental concepts and results of formal language theory used in compiler construction, computability, and system modelling.
Description:
  Applications of formal language theory, operations over formal languages, the problem of language specification, grammars, Chomsky hierarchy of formal languages, finite state automata, regular sets and expressions, Kleen's theorem, minimal finite automata, properties of regular languages, context-free grammars, syntactical analysis, transformations on context-free grammars, push-down automata and context-free languages, properties of context-free languages, Petri nets.
Learning outcomes and competences:
  Theoretical knowledge for application in problems of compiler construction, system modelling, formal specification, verification and artificial intelligence.
Syllabus of lectures:
 
  • Introduction to formal languages
  • Operations on formal languages and algebraic properties of formal languages
  • Grammars, derivation relations, the language specified by a grammar
  • Chomsky classification and hierarchy of formal languages
  • Finite automata
  • Regular expressions
  • Reduced form of finite automaton
  • Properties of regular languages
  • Context free grammars and languages, derivation trees
  • Transformations on context free grammars
  • Pushdown automata equivalence problem, deterministic pushdown automata and context free languages
  • Properties of context free and deterministic context free languages.
  • Petri nets
Syllabus of numerical exercises:
 
  • Operations on formal languages, grammars, derivation relations, the language specified by a grammar, Chomsky classification and hierarchy of formal languages
  • Finite automata, regular expressions, equivalent representation of regular languages.
  • Reduced form of finite automaton, properties of regular languages
  • Context free grammars and languages, derivation trees
  • Transformations on context free grammars
  • Pushdown automata equivalence problem, properties of context free languages.
Syllabus of computer exercises:
 
  • Petri net tool PESIM.
Syllabus - others, projects and individual work of students:
 Six homework assignments.
Fundamental literature:
 
  • Aho A.V.,Ullmann J.D.: The Theory of Parsing, Translation and Compiling, Prentice-Hall, 1972
  • Martin, J.C.: Introduction to Languages and the Theory of Computation, McGraw-Hill, Inc., 1991.
  • Češka M.: Petriho sítě, Akad.nakl. CERM, Brno 1994
Study literature:
 
  • Melichar B. a kol.: Gramatiky a jazyky SNTL, 1987
  • Češka M.,Rábová Z. Gramatiky a jazyky Nakl. VUT Brno, 1992
  • Češka M.a kol.: Vyčíslitelnost a složitost, Nakl. VUT Brno, 1993
  • Češka M.: Petriho sítě, Akad.nakl. CERM, 1994
Controlled instruction:
  Written mid-term exam, check points for projects elaboration.
Progress assessment:
  Mid-term exam evaluation and evaluation of projects dokumentation.
Exam prerequisites:
  Duty credit consists of mid-term exam passing and of obtaining at least 25 points for activities during semester (a mid-term exam, homeworks).