COW :: Courseware :: Courses :: ceng280 - 20162
METU Ceng On the Web
| print-view
: Formal Languages And Abstract Machines
InfoStaff
description: Introduction to strings, languages, and grammars. Concept of abstract machines and language acceptance. Deterministic and nondeterministic finite state machines. Regular expressions. Machines with pushdown tape. Turing machines and recursive functions.
objective: Computer Science & Engineering needs a mathematical language to abstract away from particulars of computing machinery and to concentrate on systematicity, capacity, and efficiency of computing in the abstract. Theory of Formal Languages is one such language (Complexity Theory is another). The theory has found scientific and practical use in CS theory, programming languages, compilers, concurrent processes, AI, etc. In fact, description of any computational process can be recast in formal language theory. From this perspective, the theory can be seen as a vehicle for communicating the ideas clearly and precisely among computer scientists. This course is an introduction to the topic.
type: must
oibs-code: 5710280
Instructors:
  • Aysenur BIRTURK
    email:
    room: A303
    tel: 5578
  • Ebru Aydin Gol
    email:
    room: B106
Assistants:
  • Hilal KILIC
    email:
    OfficeHours: Wednesday (13:00-14:30)
    room: A205
    tel: 5586
  • Muhammet Tugberk Isyapar
    email:
    room: A302
    tel: 5538
There may be some hidden items below this line (such as lectureNotes available to only course-students. You need to login first to see all available items.
Announcements
    Lecture NotesExams
    • makeup : 2017-06-12 09:30:00, rooms: bmb4
    • final : 2017-06-05 09:30:00, rooms: bmb1, bmb2, bmb3, bmb4, bmb5
    • evaluation : 2017-05-23 15:40:00, rooms: bmb2
    • evaluation : 2017-05-23 15:40:00, rooms: bmb1
    • midterm : 2017-05-05 17:40:00, rooms: bmb1, bmb2, bmb3, bmb4, bmb5
    • midterm : 2017-03-31 17:40:00, rooms: bmb1, bmb2, bmb3, bmb4, bmb5
    Homeworks
    homeworks
    topic:
    [[+hid]] hw_title deadline graded selectit
    1 4348 THE1 2017-03-24 23:55:59 yes select
    2 4379 THE2 2017-04-29 23:59:05 yes select
    3 4383 Midterm#1 2017-04-18 14:05:08 yes select
    4 4411 THE3 2017-06-01 14:00:00 yes select
    5 4426 Midterm#2 2017-05-23 15:23:45 yes select
    6 4430 Lates Used 2017-06-01 00:36:17 yes select
    7 4456 Final 2017-06-16 08:50:26 yes select
    8 4458 Makeup 2017-06-16 13:51:26 yes select
    Links
    | top
    2017-09-25 03:44:11, 0.032 secs
    COW by: Ahmet Sacan