Republic of the Philippines

North Eastern State Mindanao University

LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

COLLEGE OF INFORMATION TECHNOLOGY EDUCATION

Department of Computer Studies

OUTCOMES-BASED COURSE SYLLABUS IN THE NEW NORMAL

CS311 – AUTOMATA THEORY AND FORMAL LANGUAGES
First Semester, A.Y. 2022 – 2023
PHILOSOPHY

SDSSU believes that higher education is an instrument for the improvement of life through democratized access to quality education in the development of a well-rounded person.

VISION

A transformative leading University in Asia and the Pacific.

MISSION

SDSSU shall provide competency-based higher education through transformative instruction, relevant research, sustainable extension and production responsive to local, regional
and global trends.

CORE VALUES

Competence

A combination of observable and measurable knowledge, skills, abilities, and personal attributes that contribute to enhance SDSSU employee and student performance
and ultimately result in organizational success.

Accountability

Responsibility for own actions, decisions and commitment to accomplish work in an ethical, efficient, cost-effective and transparent manner manifesting the value of sound
stewardship in the wise use of resources for common good.

Responsiveness

A prompt action, consistent communication, quality information, and a focus on providing a superior experience to stakeholders.

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 1 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

Excellence

The quality spectrum at exceptional levels demonstrated by learning outcomes and the development of shared culture of quality consistent with the vision, mission and
goals of University.

Service

Dedication for a continuous improvement of services, stakeholder’s relationships and partnership which stresses interdependence and collaboration for a sustainable
success of clients and their communities in helping build a just, peaceful, stable and progressive Filipino nation.

SDSSU CARES…

These core values are not descriptions of the work we do, nor the strategies we employ to accomplish our University vision. They are the core values that underlie
our works and interactions as we internalize responsibilities to fulfil our mission. They are the basic elements of how we go about our work and how we deal with stakeholders,
molds students to become competent, innovative, globally competitive and service-oriented.

PROGRAM GOALS

The BSCS graduates are expected to become globally competent, innovative and socially and ethically responsible computing professionals engaged in life-long learning
endeavors. They are capable of contributing to the country’s national development goals.

INSTITUTIONAL INTENDED LEARNING OUTCOMES

 Deliver relevant, interactive and experiment IT education with academic standards by academically qualified faculty.
 Continually involve research activities which enhance the quality of instruction and contribute to the literature of Information Technology.
 Provide linkages and opportunities for the involvement of the faculty and students with IT community.
 Develop a sense of social citizenship, ethical behavior and respect for diversity.
 Develop among students a pioneering spirit to establish trends in their respective fields and to contribute right solutions and activities which enhance the economic vitality of
the region and country.

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 2 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

PROGRAM INTENDED LEARNING OUTCOMES

Graduates of a BSCS program should be able to:

PROGRAM OUTCOMES PROGRAM OUTCOMES DESIRED GRADUATE OUTCOMES

DESCRIPTOR
CODE
Knowledge for solving computing CS01 Apply knowledge of computing fundamentals, knowledge of a computing
problems specialization, and mathematics, science, and domain knowledge appropriate for
the computing specialization to the abstraction and conceptualization of computing Enabling
models from defined problems and requirements.

PROBLEM ANALYSIS CS02 Identify, analyze, formulate, research literature, and solve complex computing
problems and requirements reaching substantiated conclusions using fundamental Enabling
principles of mathematics, computing sciences, and relevant domain disciplines.
CS03 An ability to apply mathematical foundations, algorithmic principles and computer
science theory in the modeling and design of computer-based systems in a way Enabling
that demonstrates comprehensions of the tradeoffs involved in design choices.
PROBLEM ANALYSIS CS05 Design and evaluate solutions for complex computing problems, and design and
evaluate systems, components, or processes that meet specified needs with
Introductory
appropriate consideration for public health and safety, cultural, societal, and
environmental considerations.

COURSE INFORMATION

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 3 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

Course Code : CS311

Course Title : Automata and Language Theory

No of Units : 3 units

Pre-requisite : None

Co-requisite : None

Contact Hours : 3 hours per week

Course Description:

This course allows student to explores the science, culture, and ethics of information technology, its various uses and applications, as well as its influence on culture and
society. It also aims to strike a balance between conceptual instruction and socially and culturally oriented discussions as it not only explains the basic concepts or key terms in IT
but also features the major IT trends along with the issues and challenges these developments bring.
COURSE LEARNING OUTCOMES
At the end of the course, the students should be able to:

Knowledge/Competencies

LO2 Recognize and identifies the concepts of ICT along with the different parts of the computer system and the categories of computer peripherals.
Skills

LO1 Design and apply concepts of computing fundamentals, knowledge of a computing specialization, and mathematics science and domain knowledge appropriate
for the computing specialization to the abstraction and conceptualization of computing models from defined problems and requirements.

MAJOR OUTPUTS:

As evidence of attaining the above learning outcomes, students are required to do and submit the following during the indicated dates of the term. The rubrics for these outputs are
provided.

LEARNING OUTCOME REQUIRED OUTPUT DUE DATE

LO1/LO2 Compilation of Module Activities (soft or hard copies) Midterm

LO1/LO2 Create a music video with lyrics using MS Powerpoint Final
CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 4 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

COURSE LEARNING PLAN

INTEND TEACHING AND LEARNING REFERENCES ASSESSMENT TOOLS

ED ACTIVITIES
TIME
LEARNI TOPIC Flexible Flexible Online Not Online For Learners with For Learners
ALLOTMENT
NG Learning Learning Connectivity without Connectivity
OUTCO Approaches to Approaches to
MES Learners with Learners
Connectivity without
(Week)
Connectivity


1 Explain/  VMGO of the University Virtual  Individual www.sdssu.edu.p Hard copy/PDF of Student Online Assessment thru o Bring home test/
Recite  Classroom policies Interactive Student h Handbook, Syllabus, and classroom.google. com/h examination
the  Scope of the course Teaching Activities Textbooks in Flash Drives o Modular means
Universit  Brainstormi classroom.google o Forum Post of assessment
y’s ng(think, . com/h o Drag and Drop
VMGO, pair and to upload: o Open-ended/ Essay
classroo share) E-copy of Student Questions
m Handbook or the
policies, Student
course Handbook Mobile
overview, App
requirem
ents, and E-copy of
grading Syllabus
system
PDF of
Textbooks/
references
2 LO1/LO2 A. SETS Virtual Individual Classroom.googl References: Online Assessment thru Bring home test/
A. SET THEORY Interactive Student e. Automata Theory, Languages,and classroom.google. com/h examination
B. OPERATIONS ON Teaching Activities such com/h Computation, 3ed by Hopcroft o Individual activity
SET Strategies like: as: [2007] o Forum Post o Bring Home Test
C. SET BUILDER o Discussion o Worksheets/ o Drag and Drop o Modular means
NOTATION o Brainstormi Exercises o Open-ended/ Essay of assessment
D. RULES OF ALGEBRA ng Questions
OF SETS o (Think, Pair o Worksheet

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 5 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

E. VENN DIAGRAM and Share)

o Collaborati
ve learning/
Buzz
Session
o Video
Lectures
3-4 LO1/LO2 B. LANGUAGES Virtual Individual Classroom.googl Automata Theory, Languages,and Online Assessment thru Bring home test/
A. MATHEMATICAL Interactive Student e.com/h Computation, 3ed by Hopcroft classroom. google. com/h examination
PRELIMINARIES AND Teaching Activities such [2007] o Individual activity
NOTATIONS Strategies like: as: o Forum Post o Bring Home Test
B. LANGUAGES o Discussion o Worksheets/ o Drag and Drop o Modular means
C. THREE BASIC o Brainstormi Exercises o Open-ended/ Essay of assessment
ISSUES IN A ng Questions
LANGUAGE o (Think, Pair o Worksheet
and Share)
o Collaborati
ve learning/
Buzz
Session
o Problem-
Solving
o Group
activity
o Video
Lectures
5-6 LO1/LO2 C. REGULAR Virtual Individual Classroom.googl Ronina R. Caoili-Tayuan, M. V. Online Assessment thru Bring home test/
EXPRESSIONS AND Interactive Student e. (2019). Living in the Information classroom.google. com/h examination
CONTEXT FREE Teaching Activities such com/h Technology Era. C & E Publishing, o Individual activity
GRAMMARS Strategies like: as: Inc. o Forum Post o Bring Home Test
A. REGULAR o Discussion o Worksheets/ o Drag and Drop o Modular means
EXPRESSION o Brainstormi Exercises o Open-ended/ Essay of assessment
B. EQUIVALENCE OF ng Questions
FINITE AUTOMATA o (Think, Pair o Worksheet
AND REGULAR and Share)
EXPRESSION o Collaborati
C. CONTEXT FREE ve learning/

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 6 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

GRAMMARS Buzz
CHOMSKY NORMAL FORM Session
o Problem-
Solving
o Group
activity
o Video
Lectures
7-8 LO1/LO2 D.FINITE AUTOMATA Virtual Individual Classroom.googl Ronina R. Caoili-Tayuan, M. V. Online Assessment thru Bring home test/
A. FINITE AUTOMATA Interactive Student e. (2019). Living in the Information classroom.google. com/h examination
B. NON-DETERMINISTIC Teaching Activities such com/h Technology Era. C & E Publishing, o Individual activity
FINITE AUTOMATA Strategies like: as: Inc. o Forum Post o Bring Home Test
C. THE EQUIVALENCE o Discussion o Case o Drag and Drop o Modular means
OF o Brainstormi Exercises o Open-ended/ Essay of assessment
DFA’s AND ng o Worksheets/ Questions
NFA’s o (Think, Pair Exercises o Worksheet
D. FINITE AUTOMATA and Share)
W/I- o Collaborati
MOVES ve learning/
E. EQUIVALENCE OF Buzz
NFA’s WITH AND Session
WITHOUT I-MOVES o Problem-
Solving
o Group
activity
o Video
Lectures
MIDTERM
10-13 LO1/LO2 E. FINITE AUTOMATA WITH Virtual Individual Classroom.googl References: Online Assessment thru Bring home test/
OUTPUT Interactive Student e. Ronina R. Caoili-Tayuan, M. V. classroom.google. com/h examination
A. MOORE MACHINE Teaching Activities such com/h (2019). Living in the Information o Individual activity
B. MEALY MACHINE Strategies like: as: Technology Era. C & E Publishing, o Forum Post o Bring Home Test
o Discussion o Case Inc. o Drag and Drop o Modular means
o Brainstormi Exercises o Open-ended/ Essay of assessment
ng o Worksheets/ Questions
o (Think, Pair Exercises o Worksheet
and Share)

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 7 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

o Collaborati
ve learning/
Buzz
Session
o Problem-
Solving
o Group
activity
o Video
Lectures

14-17 LO1/LO2 F. REGULAR EXPRESSIONS Virtual Individual Classroom.googl References: Online Assessment thru Bring home test/
AND LANGUAGES Interactive Student e. Ronina R. Caoili-Tayuan, M. V. classroom.google. com/h examination
A. Regular Teaching Activities such com/h (2019). Living in the Information o Individual activity
Expressions Strategies like: as: Technology Era. C & E Publishing, o Forum Post o Bring Home Test
B. Finite Automata o Discussion o Case Inc. o Drag and Drop o Modular means
and Regular o Brainstormi Exercises o Open-ended/ Essay of assessment
Expressions ng o Worksheets/ Questions
o (Think, Pair Exercises o Worksheet
G. Context-F'ree Grammars and Share)
and Languages o Collaborati
A. Context-Free ve learning/
Grammars Buzz
Session
H. PUSHDOWN AUTOMATA o Problem-
A. INTRODUCTION Solving
PUSH DOWN AUTOMATA o Group
activity
o Video
Lectures

FINAL

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 8 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

GRADING SYSTEM: non-Laboratory Subject

Class standing……………………………………………. 40%
 Attendance……………………………….. 5%
 Quizzes…….... ………………………….15%
 Oral Graded Recitation………………… 15%
 Assignment……………………………….. 5%

Examinations……………………………………………….40%
Requirements……………………………………………… 20%

TOTAL 100%

Date Revised /prepared : August 15, 2022

Effectivity : 1st Semester 2022-2023

REFERENCES

Textbook/ Ebooks:

 Automata Theory, Languages,and Computation, 3ed by Hopcroft [2007]

 Kishore, Kaushal (2019). Theory of Automata and Formal Languages. Random Publications.
 Delfinado, Cecil Jose A. (2014). Automata Theory. C & E Publishing, Inc.
 Laviña., Charlemagne and et.al., (2010). Automata. Mindshapers Co., Inc.

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 9 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

Online:
 http://www.univ-orleans.fr/lifo/Members/Mirian.Halfeld/Cours/TLComp/TLComp-introTL.pdf
 http://uqu.edu.sa/files2/tiny_mce/plugins/filemanager/files/4023678/TC_Reference_E-Book.pdf
 http://akademik.maltepe.edu.tr/~kadirerdem/Hesaplama%20Teorisi/19s_Automata%20Theory.pdf
 http://www.eecs.wsu.edu/~ananth/CptS317/Lectures/IntroToAutomataTheory.pdf
 http://www.gobookee.net/formal-languages-and-automata-theory-peter-linz/
 http://www.nickbostrom.com/ethics/artificial -intelligence
 http://www.cs.berkely.edu
 http://facweb.iitkpg.ernet.in.ai.slides
 http://www.ftc.gov/bcp/workshops/techade/pdfs/presentations/horvitz.p

Prepared by: Reviewed and Verified by:

JENAME R. TADLIP CHRISTINE W. PITOS, MSCS

Contractual Instructor Program Coordinator, BSCS
Date: ______________ Date: ___________________

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 10 FM-ACAD-005L/REV001/08.15.2022
 Republic of the Philippines
North Eastern State Mindanao University
LIANGA CAMPUS
Lianga, Surigao del Sur 8307
www.sdssu.edu.ph

Content Noted:

EVELYN T. BAGOOD, Ed. D.

Director, Curriculum and Development
Date: _______________

Recommending Approval: APPROVED BY:

BERNARDITA G. QUEVEDO, Ph. D. BORN CHRISTIAN A. ISIP, DTE

Assistant Campus Director Dean, College of Information Technology Education
Date: __________ Date: __________

CS 311 – Automata Theory and Formal Languages (AY 2022-2023) Page 11 FM-ACAD-005L/REV001/08.15.2022