CSE
-
IITM
CS2200 - Languages, Machines and Computation
Jan-Apr : 2022
Home
Information
Meetings
Activities
References
Today : Fri, Nov 8, 2024
No meeting
Announcements
Jan 13 : First Lecture is on Jan 17, 11am.
Back to Courses
Meetings
Click on the theme item for the meeting plan for that theme.
Click on the meeting item for references, exercises, and additional reading related to it.
Theme 1 : Finite Automata and Regular Languages
- 20 meetings
Meeting 01 : Mon, Jan 17, 11:00 am-11:50 am
The notion of computation. A view from the science and engineering sides. Algorithmic Data Processing and Mathematical Theorem proving. Ruler and Compass constructions.
References
Exercises
Reading
The notion of computation. A view from the science and engineering sides. Algorithmic Data Processing and Mathematical Theorem proving. Ruler and Compass constructions.
References
:
None
Meeting 02 : Tue, Jan 18, 10:00 pm-10:50 pm
Formalizing Algorithmic Problem descriptions. Alphabets, Strings, Operations on Strings. Languages. Operations on Languages. Powering, Asterate. Problems vs Languages.
References
Exercises
Reading
Formalizing Algorithmic Problem descriptions. Alphabets, Strings, Operations on Strings. Languages. Operations on Languages. Powering, Asterate. Problems vs Languages.
References
:
None
Meeting 03 : Wed, Jan 19, 09:00 am-09:50 am
Modeling a push-button switch. States, Transitions. The formal definition of a finite automaton. Coffee Machine example. The language accepted by the FA.
References
Exercises
Reading
Modeling a push-button switch. States, Transitions. The formal definition of a finite automaton. Coffee Machine example. The language accepted by the FA.
References
:
None
Meeting 04 : Mon, Jan 24, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 05 : Tue, Jan 25, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 06 : Mon, Jan 31, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 07 : Tue, Feb 01, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 08 : Wed, Feb 02, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 09 : Mon, Feb 07, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 10 : Tue, Feb 08, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 11 : Wed, Feb 09, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 12 : Mon, Feb 14, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 13 : Tue, Feb 15, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 14 : Wed, Feb 16, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 15 : Mon, Feb 21, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 16 : Tue, Feb 22, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 17 : Wed, Feb 23, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 18 : Mon, Feb 28, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 19 : Tue, Mar 01, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 20 : Wed, Mar 02, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Theme 2 : Grammars & Context-free Languages
- 12 meetings
Meeting 21 : Mon, Mar 07, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 22 : Tue, Mar 08, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 23 : Wed, Mar 09, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 24 : Mon, Mar 14, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 25 : Tue, Mar 15, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 26 : Wed, Mar 16, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 27 : Mon, Mar 21, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 28 : Tue, Mar 22, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 29 : Wed, Mar 23, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 30 : Mon, Mar 28, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 31 : Tue, Mar 29, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 32 : Wed, Mar 30, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Theme 3 : Turing Machines & Computability
- 11 meetings
Meeting 33 : Mon, Apr 04, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 34 : Tue, Apr 05, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 35 : Wed, Apr 06, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 36 : Mon, Apr 11, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 37 : Tue, Apr 12, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 38 : Wed, Apr 13, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 39 : Mon, Apr 18, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 40 : Tue, Apr 19, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 41 : Wed, Apr 20, 09:00 am-09:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 42 : Mon, Apr 25, 11:00 am-11:50 am
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 43 : Tue, Apr 26, 10:00 pm-10:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Theme 4 : Evaluation and Tutorial Meetings
- 14 meetings
Meeting 44 : Thu, Jan 20, 01:00 pm-01:50 pm
A mathematical proof that design of the push button switch indeed meets the user requirements. More examples of design and proof of correctness of finite automata.
References
Exercises
Reading
A mathematical proof that design of the push button switch indeed meets the user requirements. More examples of design and proof of correctness of finite automata.
References
:
None
Meeting 45 : Thu, Jan 27, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 46 : Thu, Feb 03, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 47 : Thu, Feb 10, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 48 : Thu, Feb 17, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 49 : Thu, Feb 24, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 50 : Thu, Mar 03, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 51 : Thu, Mar 10, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 52 : Thu, Mar 17, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 53 : Thu, Mar 24, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 54 : Thu, Mar 31, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 55 : Thu, Apr 07, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 56 : Thu, Apr 21, 01:00 pm-01:50 pm
To Be Announced
References
Exercises
Reading
To Be Announced
References
:
None
Meeting 57 : Wed, Apr 27, 09:00 am-09:50 am
TBA
References
Exercises
Reading
TBA
References
:
None