Attribution Non-Commercial (BY-NC)

17 views

Attribution Non-Commercial (BY-NC)

- pda-intro
- OOP Chapter2
- ch10_StephenHa
- Finite Automata
- f) Relations
- Queue Codes
- Short Introduction to Axiomatic Logic
- JavaBeans Must Implement Serializable and Have A
- webdirectory
- Computer Notes - Member Templates
- JE AE Advt.publish on website.pdf
- JE AE Advt.publish on website.pdf
- zend2.php
- Set Theory
- JE AE Advt.publish on website.pdf
- JE AE Advt.publish on website.pdf
- Super Market Billing
- CS SuperMarket Source Code
- Library
- JAXBException (Java Platform SE 7 )

You are on page 1of 3

Problem 1 (3 pt) Write a simple program for a nondeterministic Turing Machine which

will accept the language

L = {xwwR y : x, y, w ∈ {a, b}+ , |x| ≥ |y|}

a b X Y

q0 (q0 , a, R),(q1 , a, R) (q0 , b, R),(q1 , b, R)

q1 (q2 , X, R) (q3 , Y, R)

q2 (q2 , a, R),(q4 , X, L) (q2 , b, R)

q3 (q3 , a, R) (q3 , b, R),(q5 , X, L)

q4 (q5 , A, L) (q7 , , L)

q5 (q5 , , L) (q6 , , R)

q6 (q6 , , R) (q1 , , R)

q7 (q7 , 1, L) (q8 , , R)

q8

Describe in words how you could solve this problem deterministically. Writing the program

for the deterministic case is tedious.

You could solve the problem deterministically by going to the end of the string and marking

a Y. Then looking for two adjacent characters that are the same. After finding this checking

if there are more spaces to the left or the right.

Problem 2 (3 pt) Find a linear bounded automaton for L = {an : n = m2 , m ≥ 1}

a X Y

q0 (q1 , X, R)

q1 (q2 , a, L) (qf , , L)

q2 (q2 , X, L) (q2 , Y, L) (q3 , , R)

q3 (q4 , , R) (q5 , , R)

q4 (q6 , Y, L) (q4 , X, R) (q4 , Y, R)

q6 (q6 , X, L) (q6 , Y, L) (q7 , , R)

q7 (q4 , , R) (q8 , Y, R)

q8 (q9 , Y, R) (q8 , Y, R)

q9 (q1 , Y, R)

q5 (q10 , X, L) (q5 , X, R) (q5 , Y, R)

q10 (q10 , X, L) (q10 , Y, L) (q11 , , R)

q11 (q12 , X, R) (q5 , , R)

q12 (q13 , X, R) (q12 , X, R)

q13 (q1 , X, R)

qf

Problem 3 (3 pt) Show that if a language is not recursively enumerable then its com-

plement can not be recursive.

Because L is not recursively enumerable, no turing machine will be able to determine in a

string is in L. Lc can therefore not be recursive, because no turing machine would be able to

decide if a string is not in Lc , because that is the same as determining if a string is in L.

Problem 4 (3 pt) Is the family of recursively enumerable languages closed under in-

tersection?

Yes. Consider two recursively enumerable languages L1 , L2 and the turing machines that

accept them T1 , T2 . In order to accept L1 ∩ L2 , a turing machine need only be created from

T1 , T2 , such that it will first test the string to see if T1 will accept it then see if T2 will accept

it. This is still a turing machine, so clearly the recursively enumerable languages are closed

under intersection.

Problem 5 (3 pt) Construct a Turing Machine for L(01(01)∗ ). Then use the general

construction for finding the corresponding unrestricted grammar. I have a marvelous answer

to this question but I ran out of time. Conversely I did have time to write:

S →01S|01

Problem 6 (3 pt) Show that for every unrestricted grammar there exists an equivalent

unrestricted grammar, with all productions either of the form

u→v

A→λ

with A ∈ V .

Given any production with 3 or more variables, the production can be broken up into smaller

parts, ie:

ABCD →xyzvB

into

HY →EV

AB →H

CD →Y

E →xy

V →KL

K →z

L →vB

Problem 7 (2 pt) Let G be an unrestricted grammar. Does there exist an algorithm

to decide whether or not L(G)R is recursively enumerable?

Yes. Because it’s simply a matter of reversing the operations of the turing machine on the

reversed string.

Total points: 20

- pda-introUploaded byAnonymous GuQd67
- OOP Chapter2Uploaded byF3031
- ch10_StephenHaUploaded bySai Ram DA
- Finite AutomataUploaded byShivam Shrivastava
- f) RelationsUploaded byHazem Fahmy
- Queue CodesUploaded byRaja Saad
- Short Introduction to Axiomatic LogicUploaded byBertram G Liyanage
- JavaBeans Must Implement Serializable and Have AUploaded byganeshkalam
- webdirectoryUploaded bysriwathsan
- Computer Notes - Member TemplatesUploaded byecomputernotes
- JE AE Advt.publish on website.pdfUploaded bymayuri
- JE AE Advt.publish on website.pdfUploaded bynetwing2009
- zend2.phpUploaded bypp_12
- Set TheoryUploaded byKibegwa Moria
- JE AE Advt.publish on website.pdfUploaded byAnonymous pKsr5v
- JE AE Advt.publish on website.pdfUploaded bySaurabh Bhise
- Super Market BillingUploaded byAmit Goel
- CS SuperMarket Source CodeUploaded byAnand
- LibraryUploaded byParul Verma
- JAXBException (Java Platform SE 7 )Uploaded bypcdproyecto
- dfa nfaUploaded byGupta Akshay
- [Springer-Verlag Berlin Heidelberg 2010] Learning Automata TeamsUploaded byyaya
- Reflection and AttributesUploaded byapi-26304929
- th 2.docxUploaded bybhatiaharryjassi
- Alvaro SalasUploaded byanomican
- Lisp Lab ManualUploaded byashok shrivastava
- ccind.psUploaded byHenrique97489573496
- The Early YearsUploaded byVictor Escobedo Salazar
- Intro. to Model Checking - Models and PropertiesUploaded byda-trash

- Script Uebung GOCADUploaded byNilthson Noreña Valverde
- Diff Eq NotesUploaded byMin Jae Park
- Wily Intro Scope Regular ExpressionsUploaded byMaricor Dacutanan
- medCon_051909Uploaded bygrea1
- A STUDY ON PREVALENCE AND SEASONAL VARIATION OF DIARRHEAL DISEASES AMONG UNDER-FIVE CHILDREN OF JHANSI, UTTAR PRADESH, INDIA.Uploaded byIJAR Journal
- Effect of Different Factors on the Service Life of Concrete Structures in Chloride EnvironmentsUploaded byIJAERS JOURNAL
- 01 Academic Report Writing 2011Uploaded byNorhaizal Ramley
- CE6302Uploaded byEngr Arbab Faisal
- The Overcrowded LibraryUploaded byginamshelton
- Liquid CrystalUploaded byAnil Joby
- A Personalized Product Search Mobile Applications Using Google AndroidUploaded bykeviin6
- HaikuUploaded bySweety Chaddha
- Dr. Who - The Fourth Doctor 75 - MeglosUploaded byninguls
- WCR 1992 Martensite boundary.pdfUploaded bypedro heraclitoromanhotmail.com
- Copy of Variance Report Template 05 YearEndUploaded byloginid22
- Using EViews for Principles of Econometrics, Carter HillUploaded byNaila Mehboob
- Continental Drift TheoryUploaded byMister Music
- Abstracts - Organisational ClimateUploaded byN.MUTHUKUMARAN
- Project Proposal FormatUploaded byAbrihu
- Partial DerivativesUploaded byrafqi17
- 1 DTaylor (India)Uploaded byAbhishek Jani
- KundaliniandtheChakrasUploaded bycougar1974
- On-Demand Multicast Slot Allocation Scheme For Active Optical Access Network Using PLZT High-Speed Optical SwitchesUploaded byCyberJournals Multidisciplinary
- Jennifer a. Doudna, Samuel H. Sternberg-A Crack in Creation_ Gene Editing and the Unthinkable Power to Control Evolution-Houghton Mifflin Harcourt (2017)Uploaded byArtz Rata
- 2-98-1-PBUploaded byNathaly Mancilla Órdenes
- 2. OPNAV 5100Uploaded bygodhybrid
- Less03 Db Dbca MbUploaded byyairr
- IntelligenceUploaded byHarriet Tapuyao Virtudazo
- The Indian Wildlife (Protection) Act, 1972, amended 1993Uploaded byNaresh Kadyan
- CLASE 4 2013-01!05!15!09!40 TOEFL IBT Online Course BenefitsUploaded byJuan Sebastian Torres