Homework 4 for ECS 120: Chop Operation on Finite Automata, Assignments of Computer Science

The instructions and problems for homework 4 in the course ecs 120. Students are required to define a string operation called 'chop', modify a finite automaton to implement this operation, and prove that the family of regular languages is closed under chop. Jflap files are expected for problems 1 and 2.

Typology: Assignments

Pre 2010

Uploaded on 07/31/2009

koofers-user-y1t
koofers-user-y1t 🇺🇸

10 documents

1 / 1

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
ECS 120 Homework 4 Due April 26
1. Linz, Section 3.2: 4c, 9, 15
Section 3.3: 6,10, 14
2. Define a string operation that removes the rightmost symbol from a string, that
is, , for all and
chop
wwachop =)( *Σw
Σ
a. We can extend this operation to languages
by
}somefor :*{)(
Σ
Σ= aLvavLchop .
Let M be the finite automaton in file JHW4 and let )(MLL
=
. Modify M to produce a
new finite automaton , so that
1
M
.
)()( 1LchopML =
3. Generalize the construction you used to solve Part 2, and prove that it always works.
Then use this to show that the family of regular languages is closed under the chop
operation.
Note: Please turn in JFLAP files for Problem 1: 4c and Problem 2.
Use the handin utility on CSIF for electronic submission:
For example, if you’re submitting the file “problem1_4c.jff”s, use the following
command on your CSIF account:
> handin shini hw4 problem1_4c.jff

Partial preview of the text

Download Homework 4 for ECS 120: Chop Operation on Finite Automata and more Assignments Computer Science in PDF only on Docsity!

ECS 120 Homework 4 Due April 26

  1. Linz, Section 3.2: 4c, 9, 15 Section 3.3: 6,10, 14
  2. Define a string operation that removes the rightmost symbol from a string, that

is, , for all and

chop chop ( wa )= w w ∈Σ* a ∈Σ. We can extend this operation to languages

by

chop ( L )= { v ∈Σ*: vaL forsome a ∈Σ }.

Let M be the finite automaton in file JHW4 and let L = L ( M ). Modify M to produce a

new finite automaton M 1 , so that

L ( M 1 )= chop ( L ).

  1. Generalize the construction you used to solve Part 2, and prove that it always works. Then use this to show that the family of regular languages is closed under the chop operation.

Note: Please turn in JFLAP files for Problem 1 : 4c and Problem 2.

Use the handin utility on CSIF for electronic submission:

For example, if you’re submitting the file “problem1_4c.jff”s, use the following command on your CSIF account:

handin shini hw4 problem1_4c.jff