CST229 Week 4 Questions or concerns? Test#1 next Thursday Homework #3 due Hand back Homework #2 Reading: Chapters 5 & 7 In-Class Exercise #4a Chapter 5.

Slides:



Advertisements
Similar presentations
Nondeterministic Finite Automata CS 130: Theory of Computation HMU textbook, Chapter 2 (Sec 2.3 & 2.5)
Advertisements

Theory Of Automata By Dr. MM Alam
CSE 105 Theory of Computation Alexander Tsiatas Spring 2012 Theory of Computation Lecture Slides by Alexander Tsiatas is licensed under a Creative Commons.
Regular Expressions and DFAs COP 3402 (Summer 2014)
CSE 202 – Formal Languages and Automata Theory 1 REGULAR LANGUAGE.
MIS320 Lab Week 1 notes. Resources 014.fall/ 014.fall/
Erik Jonsson School of Engineering and Computer Science FEARLESS Engineeringwww.utdallas.edu/~pervin CS CS 4384 – HON001 Automata Theory
5 Minute Check Complete in your notebook. Fill in with, or = to make the inequality true , , , ,431 Solve. 3. x + 44 = 90.
CIT 596 Theory of computing Traditional course (CIS 511, CIS 262) and other similarly named courses in other universities are divided into 3 parts that.
Finite Automata Section 1.1 CSC 4170 Theory of Computation.
©2004 Brooks/Cole FIGURES FOR CHAPTER 2 SCANNING Click the mouse to move to the next page. Use the ESC key to exit this chapter. This chapter in the book.
CFG => PDA Sipser 2 (pages ).
Intro to DFAs Readings: Sipser 1.1 (pages 31-44) With basic background from Sipser 0.
Intro to DFAs Readings: Sipser 1.1 (pages 31-44) With basic background from Sipser 0.
Welcome to CSE105 and Happy and fruitful New Year
CFG => PDA Sipser 2 (pages ). CS 311 Fall Formally… A pushdown automaton is a sextuple M = (Q, Σ, Γ, δ, q 0, F), where – Q is a finite set.
Finite Automata Finite-state machine with no output. FA consists of States, Transitions between states FA is a 5-tuple Example! A string x is recognized.
Transparency No. 4-1 Formal Language and Automata Theory Chapter 4 Patterns, Regular Expressions and Finite Automata (include lecture 7,8,9) Transparency.
FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
Fall 2005Costas Busch - RPI1 CSCI-2400 Models of Computation.
UMass Lowell Computer Science Foundations of Computer Science Prof. Karen Daniels Fall, 2009 Lecture 1 Introduction/Overview Th. 9/3/2009.
CS Master – Introduction to the Theory of Computation Jan Maluszynski - HT Lecture 1 Introduction Jan Maluszynski, IDA, 2007
LING 388: Language and Computers Sandiway Fong Lecture 11: 10/3.
Dept. of Computer Science & IT, FUUAST Automata Theory 2 Automata Theory II B Q.For  = {a, b} construct DFA that accepts all strings with exactly one.
FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
Regular Languages A language is regular over  if it can be built from ;, {  }, and { a } for every a 2 , using operators union ( [ ), concatenation.
CS 103 Discrete Structures Lecture 01 Introduction to the Course
CST 229 Introduction to Grammars Dr. Sherry Yang Room 213 (503)
Nondeterministic Finite Automata CS 130: Theory of Computation HMU textbook, Chapter 2 (Sec 2.3 & 2.5)
CS 390 Introduction to Theoretical Computer Science.
CSCI 2670 Introduction to Theory of Computing August 24, 2005.
Cs3102: Theory of Computation Class 4: Nondeterminism Spring 2010 University of Virginia David Evans TexPoint fonts used in EMF. Read the TexPoint manual.
Introduction to CS Theory Lecture 3 – Regular Languages Piotr Faliszewski
CSCI 3130: Formal languages and automata theory Tutorial 2 Chin.
CSCI 2670 Introduction to Theory of Computing August 26, 2004.
Finite Automata.
1Computer Sciences Department. Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER Reference 3Computer Sciences Department.
D E C I D A B I L I T Y 1. 2 Objectives To investigate the power of algorithms to solve problems. To explore the limits of algorithmic solvability. To.
Theory of Computing CSCI 356/541 Lab Session. Outline Lab 1: Finite Automata  Construct and Run Construct and Run  Manipulating Transitions Manipulating.
CST229 Week 8 Questions or concerns? Hand back Homework #6 & #5 Reading: Chapter 14 Comment about Lab1 Getting started with Lab2 Chapter 14 – Regular Grammar.
Finite Automata Chapter 1. Automatic Door Example Top View.
CST229 Week 2 Questions or concern? Homework #1 due – Difference between permutation and no restrictions on using an element more than once. Code example:
CST229 Week 7 Questions or concerns? Hand back Test#1 & Homework #4 – Test1 Average (45/50) Reading: Chapters 12&13 Chapter 12 – Grammar – production rules.
CSCI 3130: Formal languages and automata theory Tutorial 1 Lee Chin Ho.
Homework #2 J. H. Wang Mar. 29, Homework #2 Chap.3 –3.5 (a) –3.8 (b) –3.16 –3.23 (a)
Debugging and Printing George Mason University. Today’s topics Review of Chapter 3: Printing and Debugging Go over examples and questions debugging in.
Transparency No. 2-1 Formal Language and Automata Theory Homework 2.
using Deterministic Finite Automata & Nondeterministic Finite Automata
CSC312 Automata Theory Lecture # 8 Chapter # 5 (Cont…) Finite Automata.
Parts of the Clock Click on the minute hand. Click on the clock’s face.
CSE 202 – Formal Languages and Automata Theory 1 REGULAR EXPRESSION.
Homework #1 Read Chapter 1(all), Chapter 2 (not 2.6) Exercises and Problems:1.3, 1.49, 1.99, 2.14, 2.39, 2.59 Due next Thursday, 1/31.
More on scanning: NFAs and Flex
CST229 Week 6 Questions or concerns? Homework #4 due
Generalized Transition Graphs
Theory of Languages and Automata
Chapter 7 Regular Grammars
CSCI 2670 Introduction to Theory of Computing
Principles of Computing – UFCFA3-30-1
Chapter 1 Regular Language
Matter November 2, 2015.
CSC 4170 Theory of Computation Finite Automata Section 1.1.
CSC312 Automata Theory Lecture # 5 Chapter # 4 Cont…
- '1:- bs? a ' I.
CSC312 Automata Theory Kleene’s Theorem Lecture # 12
Kleene’s Theorem (Part-3)
Agenda for Unit 1: Introduction of Computers and Games Graphics
Teori Bahasa dan Automata Lecture 6: Regular Expression
CSC312 Automata Theory Lecture # 24 Chapter # 11 by Cohen Decidability.
Presentation transcript:

CST229 Week 4 Questions or concerns? Test#1 next Thursday Homework #3 due Hand back Homework #2 Reading: Chapters 5 & 7 In-Class Exercise #4a Chapter 5 – Machine to recognize languages In-Class Exercise#4b Test#1

In-Class Exercise #4a Construct regular expressions for these languages over  = {a, b}: a.L = {a n b m | n+m is even} b.L = {w | |w| mod 3 = 0} c.L = { w | number of b’s in w is divisible by 5}

Regular Expressions Construct regular expressions for these: L1 = {a 1 b 1 } L2 = {a 2 b 2 } L3 = {a 3 b 3 } L6 = {a 6 b 6 } Ln = {a n | n ≥ 0} Lnm = {a n b m | n, m ≥ 0} Ldoublen = {a n b n | n ≥ 0 }

CST229 Week 4 Questions or concern? Test#1 next Thursday Homework #3 due Hand back Homework #2 Reading: Chapters 5 & 7 In-Class Exercise #4a Chapter 5 – Machine to recognize languages In-Class Exercise#4b What’s going to be on the test

In-Class Exercise #4b Construct Finite Automata for these languages a.L = {a n b m | n+m is even} b.L = {w | |w| mod 3 = 0} c.L = { w | number of b’s in w is divisible by 5} d.L = { w | w contains even number of a’s and even number of b’s}

Finite Automata Construct FAs for these: L1 = {a 1 b 1 } L2 = {a 2 b 2 } L3 = {a 3 b 3 } L6 = {a 6 b 6 } Ln = {a n | n ≥ 0} Lnm = {a n b m | n, m ≥ 0} Ldoublen = {a n b n | n ≥ 0 }

Next Thursday 2/6 First hour – Talk about Lab#1 – Last minute questions about the test Second hour ++ – Test#1 Covers Homeworks #1 - #3 – Set theory – Permutations / Combinations – Chapter 2 problems – Chapter 3 problems – Chapter 4 problems Open notes / Open book