3 Pages

Pandurengan, Vignesh_14

Course: CS 530, Fall 2008
School: Illinois Tech
Rating:
 
 
 
 
 

Word Count: 370

Document Preview

Notes Lecture - Lecture Dated 10/07/08 Lecture Number 14 Vignesh Pandurengan CWID : 10428060 October 29, 2008 Turing Machine Its a acceptor that is it basically accepts the language Its a function computator Its a generator ( enumerator ) , the strings will be printed on the tape is the language generated by the turing machine. G(M1) = Set of strings printed on tape. There is a language L(M1) that will accept (...

Register Now

Unformatted Document Excerpt

Coursehero >> Illinois >> Illinois Tech >> CS 530

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Notes Lecture - Lecture Dated 10/07/08 Lecture Number 14 Vignesh Pandurengan CWID : 10428060 October 29, 2008 Turing Machine Its a acceptor that is it basically accepts the language Its a function computator Its a generator ( enumerator ) , the strings will be printed on the tape is the language generated by the turing machine. G(M1) = Set of strings printed on tape. There is a language L(M1) that will accept ( ie., it will end in accept state) Sample Problem L(M) = G(M1 ) Given M ,Construct M1 We have the strings w1,w2, ... .wn ( Countable set ) ie.., if its 0,1) ,then the sorted set will be like ,0,1,00,01,.... We run turing machine on w1 and if its accepted it will be printed.If its not printed , it means its rejected. NFA and DFA will accept regular languages PDA will accept Context Free Every regular language is context free The language can be recursive or recursive enumerable Recursive language contains the CFL Size of L = Size of R A turing machine is a 7-tuple , ( Q , ,,,q0,qaccept,qreject) , where Q , , are all finite sets and 1.Q is the set of states, is 2. the input alphabet not containing the blank symbol , 3. is the tape alphabet 4. q0 is the start state , qaccept is the final accepted state, qreject is the 1 rejected state is 0,1 Assume it has k states, that q0,q1 .. .qk-1 Transition function ( qi,a) - (qr,b,- ) When it enters accept state ,it will stop If L1 is regular complement of L1 is regular If L1 is recursive ,then complement of L1 is also recursive? Proof: For any string w ,we have a turing machine M1 ,it will give yes / no ( ie.., ACCEPT / REJECT ) Usually its ( qi,a) = ( qf,a) where qi is the initial state and qf is the final state Now its ( qi,a) = (ACCEPT / REJECT ) So , now L1 L2 is recursive similarly L1 L2 is also recursive L1 , L2 is Recursive enumerable then L1 L2 is recursive enumerable too. If a Language L is recursive, its complement is recursive but not recursive enumerable If a language L is recursive enumerable its complement is not recursive and is actually recursive enumerable If a language L is recursive , then its complement is recursive enumerable but not recursive. 2
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Illinois Tech - CS - 530
Lecture 2 NotesZhang Jing September 3, 2008Contents 1 Preview1. Basic mathematical objects. 2. Proof Techniques: (1)controdiction; (2)construction.22.1Proof Techniques Cont.Example 1: Proof the formulan i=1i2 =n(n + 1)(2n + 1) 6(1)
Illinois Tech - CS - 530
Lecture 1 NotesZhang Jing August 27, 2008Contents1 Syllabus 2 Basic Theory 2.1 Approximation algorithm . . . . . . . . . . . . . . . . . . . . 2.2 Simplex Method . . . . . . . . . . . . . . . . . . . . . . . . . 2.3 Sooth complexity . . . . . . .
Illinois Tech - CS - 530
CS 530 Lecture310441693 Ling ZhaoLecture 3- August 28content1Finite Automate. 2 1.1How to build a finite automata..2 1.1.1 Example 1.2 1.1.2 Example 2.. 2 2The definition of DFA and NFA. 4 2.1DFA.. 4 2.2NFA.5 3Language.. 7 3.1Language. 7 3.2Exa
Illinois Tech - CS - 530
CS 530 Lecture310441693 Ling ZhaoLecture 4- Sep 2content1Equivalence of NFA and DFA. 2 1.1Transfer NFA to DFA.. 2 1.2-NFA.4 2The Regular expressions.. 4 2.1Regular language. 4 2.1.1 L1 L2..4 2.1.2 L1L2. 5 2.1.3 L1 L2.. 5 3One problem in quest
Illinois Tech - CS - 530
Lecture Notes - 8Benjamin Cammack September 30, 20081Pushdown automaton:In automata theory, a pushdown automaton (PDA) is a nite automaton that can make use of a stack containing data.1.1 Operation:Pushdown automata choose a transition by i
Illinois Tech - CS - 530
Lecture Notes - 7Benjamin C. Cammack September 25, 20081Regular Languages:1.1 The collection of regular languages over an alphabet S is dened recursively as follows: the empty language is a regular language. the empty string language { e }
Illinois Tech - CS - 530
CS 530 @ IIT - Lecture 14 - Fall 2008Given Oct 07, 2008 Name TA-YUAN, HSU 104391411. Review Last LectureRelation between TM and NTM : TM=NTM In terms of computation power, the language can be accepted by TM and then will be accepted by NTM, and v
Illinois Tech - CS - 530
%!PS-Adobe-2.0 %Creator: dvips(k) 5.96dev Copyright 2007 Radical Eye Software %Title: lecture_10_09.dvi %CreationDate: Thu Oct 16 17:41:00 2008 %Pages: 4 %PageOrder: Ascend %BoundingBox: 0 0 595 842 %DocumentFonts: SFRM1728 SFRM1200 SFBX1440 SFTT1440
Illinois Tech - CS - 530
%!PS-Adobe-2.0 %Creator: dvips(k) 5.96dev Copyright 2007 Radical Eye Software %Title: lecture_10_14.dvi %CreationDate: Wed Oct 22 16:40:22 2008 %Pages: 4 %PageOrder: Ascend %BoundingBox: 0 0 595 842 %DocumentFonts: SFRM1728 SFRM1200 SFTT1440 SFTT1000
Illinois Tech - CS - 530
PROOF BY REDUCTION: To prove a language is undecidable we have already seen the contradiction methodology. Next technique is by reduction.We reduce the problem of deciding AT M to the problem of deciding a language B where we already know how to deci
Allan Hancock College - C - 112
Fundamentals of Plasma Physics and Controlled FusionKenro Miyamoto(Received Sep. 18, 2000)NIFS-PROC-48Oct. 2000Fundamentals of Plasma Physics and Controlled Fusion by Kenro MiyamotoiFundamentals of Plasma Physics and Controlled Fusion K
Kutztown - CSC - 402
CIS 402:File Management TechniquesChapter 9Multilevel Indexing and B-Trees19.1 Introduction : Invention of the B-TreeIntroduction: The Invention of the B-tree 1972 Acta Infomatica : R. Bayer and E. McCreight (at BoeingCorporation) "Organiz
Air Force Academy - PRM - 930
December 20046 7 7 8 9 Jenelle O Jenelle O Valerie Unger Jenelle O Jenelle O Lauren McDonald Michelle Buckley Julie Willms Arvelle Beutler Lonnie Unger Brendyn Seymour Amber LenzDrama Jazz history7:00 PMCOMM 404 Business LawSaxophone jury(like
NYU - MP - 1872
Empire Sta rsh ip ScriptProducer: Michael A. Parker Date: 9/28/08Running TimeWriter: Michael A. Parker Page: 1/1 Video AudioSFX: TrafficScene00:00FADE IN WS PEDESTRIANS WALK PAST EMPIRE STATE BUILDING MS PEDESTRIANS JUMP BACK IN SURPRISE
NYU - MP - 1872
Project Treatment "Empire Starship"Producer/Director: Michael A. Parker September 22, 2008 HD-DVD (NTSC) RT: 00:30The Empire State Building is an engineering marvel. It is an iconic structure. Once the tallest building in the world, it represents
Caltech - CNS - 120
Caltech - CNS - 120
Ibid- Caltech Library SystemElectronic Delivery Cover SheetWARNING CONCERNING COPYRIGHT RESTRICTIONSThe copyright law of the United States (Title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted mat
Caltech - CNS - 120
556UpdateTRENDS in Cognitive SciencesVol.9 No.12 December 2005The neural correlate of (un)awareness: lessons from the vegetative stateSteven LaureysCyclotron Research Center and Department of Neurology, University of Liege, Sart Tilman B30,
Caltech - CNS - 120
COMMENTARYTemporal tagging of attended objectsErnst Niebur1Department of Neuroscience and Zanvyl Krieger Mind/Brain Institute, The Johns Hopkins University, Baltimore, MD 21218Complex organisms in a complex world need sensors that provide the
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software %Title: anatomy_lecture.dvi %Pages: 25 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentPaperSizes: Letter %EndComments %DVIPSCommandLine: dvips anatomy_lecture.dvi
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software %Title: cns120-attention.dvi %Pages: 12 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentPaperSizes: Letter %EndComments %DVIPSCommandLine: dvips cns120-attention -o
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: master.dvi %Pages: 29 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips master -o master.ps %DVIPS
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: cns120-slides.dvi %Pages: 2 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips cns120-slides -o bin
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: master.dvi %Pages: 27 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips master -o binocular-rivalr
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software %Title: cns120-slides.dvi %Pages: 2 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentPaperSizes: Letter %EndComments %DVIPSCommandLine: dvips cns120-slides -o x.ps %
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software %Title: cns120-slides.dvi %Pages: 4 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentPaperSizes: Letter %EndComments %DVIPSCommandLine: dvips cns120-slides -o x.ps %
Caltech - CNS - 120
Caltech - CNS - 120
hypothesisConstraints on cortical and thalamic projections: the no-strong-loops hypothesisFrancis Crick* & Christof Koch* The Salk Institute, 10010 North Torrey Pines Road, La Jolla, California 92037, USA Computation and Neural Systems Program,
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvipsk 5.58f Copyright 1986, 1994 Radical Eye Software %Title: cns120-slides.dvi %Pages: 5 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %DocumentPaperSizes: Letter %EndComments %DVIPSCommandLine: dvips cns120-slides -o x.ps %
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: introduction.dvi %Pages: 8 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips introduction -o intro
Caltech - CNS - 120
%!PS-Adobe-2.0 %Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %Title: master.dvi %Pages: 11 %PageOrder: Ascend %BoundingBox: 0 0 612 792 %EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips master -o memory.ps %DVIPS