CS203 : Formal Languages and Automata Theory


06-APR-2013

Weightage10%
Weightage - Part A7%
Weightage - Part B18%
DateSunday, 14-APR-2013
Time08:00am - Midnight
VenueYour cubicle in CSE Laboratories
Weightage35%
Total Marks in Question Paper62
Full Marks42
Number of Questions1+6
Type of questionsInteresting and hopefully unfamiliar
Weightage30%
Total Marks in Question Paper27
Full Marks17
Number of Questions1+5
Type of questionsResults done in class and perhaps one trivial, yet unfamiliar, question

31-MAR-2013


28-FEB-2013


20-FEB-2013

DateSaturday, 02-MAR-2013
Time08:00am - Midnight
PlaceTo be announced

16-FEB-2013


23-JAN-2013

Announcement

Assignment 3

Note: Though we have not discussed the notion of non-deterministic PDA's with ε-transitions, you are encouraged to try and come up with PDA's for the following languages.


17-JAN-2013

TA Student Mapping

Badri Prasad Nanda (b.nanda@) 10020515HARSHIT AGRAWALharshit@
10020524MAULISHREE ARVIND PANDEYmaulishree@
10020534RISHIKA JAINrishika@
11010101ABHISHEK SARKARabhishek.sarkar@
11010102ADITYA KUMAR JHAj.aditya@
11010103AJAY KUMAR KILAKAa.kilaka@
11010104AKSHAY JAJOOa.jajoo@
11010105ANKIT KANWATa.kanwat@
11010106ARIHANT SETHIAs.arihant@
11010107ARPIT AGRAWALarpit.agrawal@
Khushboo Rani (khushboo@) 11010108ARUN BHATIa.bhati@
11010109B NITIN CHANDRAchandra.nitin@
11010110B SRIHARSHAb.sriharsha@
11010111BANKURU PRASANNA KUMARbankuru@
11010112BHANU TEJA GULLAPALLIg.bhanu@
11010113BHAVYA MADANbhavya@
11010114BINGI NARASIMHA KARTHIKb.karthik@
11010115CHAITANYA AGARWALc.agarwal@
11010116CHERUKU RAMA KRISHNAcheruku@
11010117CHETAN ANANDchetan@
Pankaj Sachan (pankaj.sachan@) 11010118GAVVA AVANEESH REDDYgavva@
11010120HARSHA SRIMATH TIRUMALAh.tirumala@
11010121HARSHIL LODHIharshil@
11010122HITESH ARORAa.hitesh@
11010123JILLELLA SURENDRANATH REDDYjillella@
11010124JYOTHSNA Pp.jyothsna@
11010125K YOSHITHAk.yoshitha@
11010126KANDREGULA S V A RAVI TEJAkandregula@
11010127KARRA DINAKAR REDDYr.karra@
11010128KHANIN DEKAkhanin@
11010129KURITI PRASANTH VERMAkuriti@
Jithin K George (g.jithin@) 11010130M KRISHNA KANTHm.kanth@
11010131M PRUDHVI RAJ CHOWHANm.chowhan@
11010132MADHU PRUDHVI RAJr.madhu@
11010133MADHURI VITTHAL TIKHEt.madhuri@
11010134MAINAK SETHImainak@
11010136MASIH TAMSOYmasih@
11010138MD SIDDIQm.siddiq@
11010139MOHAMMED RIYAZm.riyaz@
11010141MOON SUSHANT SHARADm.sharad@
11010142MOPURU SANKETHm.sanketh@
11010143MS NEHA DAMADYAm.damadya@
Sachin Shah (sachin.shah@) 11010144N M HARSHAn.harsha@
11010145NAGELLI KARTHEEKn.kartheek@
11010146NAVEEN SAHUn.sahu@
11010147NISHANT YADAVnishant.yadav@
11010149PADIGELA HARSHITH REDDYpadigela@
11010150PATHAPATI ROHAN REVANTH SAGARpathapati@
11010151PERABATHINI MONIKA SRINIVASperabathini@
11010152PIYUSH DHOREd.piyush@
11010153PUSHPRAJ YADAVpushpraj@
11010154RACHIT KUMARk.rachit@
Dileep Reddy (dileep@) 11010155RACHURI ANIRUDHrachuri@
11010156RAHUL RAGHAVENDRA HUILGOLh.rahul@
11010157RAKSHITA JAINrakshita@
11010158ROHAN KUMAR KWATRAr.kwatra@
11010159ROHIT KAMRAr.kamra@
11010160SACHIN AGLAVEa.sachin@
11010161SAGAR PATELp.sagar@
11010162SHASHANK RAIr.shashank@
11010163SHASHI KANTs.kant@
11010164SHIVAM KUMARk.shivam@
Vinod Kumar (vinod.kumar@) 11010165SIMRAT SINGH CHHABRAsimrat@
11010166SPARSH KUMAR SINHAsparsh@
11010167TUPILI KISHOREtupili@
11010168VEERA ANUDEEPv.anudeep@
11010169VENKATA ABHINAV BOMMIREDDIv.bommireddi@
11010170VISHAL ANANDvishal.anand@
11010171VISHAVDEEP MATTUvishavdeep@
11010172VIVEK BHARGAVv.bhargav@
11010173VIVEK PODDARv.poddar@
11010174SHYAMAL KEJRIWALk.shyamal@
Kamaljeet Chauhan (c.kamaljeet@) 11010175ANCHA VENKATA SIDDHARTHancha@
11010176SHUBHAM LUHADIAs.luhadia@
11010177BASARGE SHREYAS NARENDRAbasarge@
11010178CHARANJIT SINGH GHAIcharanjit@
11010179SHOBHIT CHAURASIAc.shobhit@
11010180SOUMAK DATTAsoumak@
11020540VISHESH KUMARk.vishesh@
126201001RAHUL GANDOPADHYAYr.gangopadhyay@
126201002RAJESH DEVRAJd.rajesh@
126201003MRITYUNJAY KUNWER SINGHkunwer@

09-JAN-2013

Assignment 2

How to write proofs

I am also uploading a note on how to write proofs. The proof is a solution for 12(L). There are few points I would like to make -

Let me see if you can discover the basic idea for the solution of 12(L). Once you have done so, you would realise that behind that apparently lengthy proof is an extremely trivial idea.

The document is here.


01-JAN-2013

Assignment 1


29-DEC-2012

Syllabus

http://www.iitg.ernet.in/cse/csecourses/?courseCode=CS203

Class Room

2204

Class Slots

(Class timings are in green)

Monday9:00 am to 9:55 am
Tuesday10:00 am to 10:55 am
Wednesday11:00 am to 11:55 am
Friday8:00 am to 8:55 am

References

My primary reference will be Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft and Jeffery D. Ullman. When I studied the material, I followed this book and hence I am biased towards this. But, as you will find out over the duration of the course, all of the material is extremely standard and can be studied from any book dealing with finite state machines. All the references given in the syllabus page are equally adept at handling the material of the course. Moreover, since proofs are not subjective, any proof technique from any book is acceptable for the course.

Teaching Staff

10610103Badri Prasad Nandab.nanda@
126101001 Khushboo Ranikhushboo@
124101017 Pankaj Sachanpankaj.sachan@
124101018 Jithin K Georgeg.jithin@
124101006 Sachin Shahsachin.shah@
124101030 Abhishek Sumanabhishek.suman@
124101032 Vinod Kumarvinod.kumar@
124101026 Kamaljeet Chauhanc.kamaljeet@

Evaluation Criteria

Weightages

Mid Semester Examination10%
End Semester Examination20%
First Open Time Examination35%
Second Open Time Examination35%
Make-up Examination

Passing percentange

50%

How to calculate your final score?

M1 - Normalized marks of Mid Semester Examination.
M2 - Normalized marks of End Semester Examination.
M3 - Normalized marks of First Open Time Examination.
M4 - Normalized marks of First Open Time Examination.
X - Marks (out of 50) in Make-up Examination.

Let M = M1+M2+M3+M4. Then,

Final Score = M,if M >= 50
50,if M < 50 and M+X >= 50
M+X,if M < 50 and M+X < 50