Linear Bounded Automata Lbas

Total Page:16

File Type:pdf, Size:1020Kb

Linear Bounded Automata Lbas Linear Bounded Automata LBAs Costas Busch - RPI 1 Linear Bounded Automata (LBAs) are the same as T uring M achines w ith one difference: T he input string tape space is the only tape space allow ed to use Costas Busch - RPI 2 Linear Bounded Automaton (LBA) Input string [ a b c d e ] W orking space Left-end in tape R ight-end marker marker All computation is done betw een end markers Costas Busch - RPI 3 W e define LBA’s as N onD eterministic O pen Problem: N onD eterministic LBA’s have same pow er w ith D eterministic LBA’s ? Costas Busch - RPI 4 Example languages accepted by LBAs: L = {anbncn} L = {an!} LBA’s have more pow er than N PD A’s LBA’s have also less pow er than T uring M achines Costas Busch - RPI 5 T he Chomsky H ierarchy Costas Busch - RPI 6 U nrestricted G rammars: Productions u → v S tring of variables S tring of variables and terminals and terminals Costas Busch - RPI 7 Example unrestricted grammar: S → aBc aB → cA Ac → d Costas Busch - RPI 8 T heorem: A language L is recursively enumerable if and only if L is generated by an unrestricted grammar Costas Busch - RPI 9 Context-S ensitive G rammars: Productions u → v S tring of variables S tring of variables and terminals and terminals and: | u | ≤ | v | Costas Busch - RPI 10 T he language {anbncn} is context-sensitive: S → abc | aAbc Ab → bA Ac → Bbcc bB → Bb aB → aa | aaA Costas Busch - RPI 11 T heorem: A language L is context sensistive if and only if L is accepted by a Linear-Bounded automaton O bservation: T here is a language w hich is context-sensitive but not recursive Costas Busch - RPI 12 T he Chomsky H ierarchy N on-recursively enumerable R ecursively-enumerable R ecursive Context-sensitive Context-free R egular Costas Busch - RPI 13 D ecidability Costas Busch - RPI 14 Consider problems w ith answ er Y E S or N O Examples: • D oes M achine M have three states ? • Is string w a binary number? • D oes D FA M accept any input? Costas Busch - RPI 15 A problem is decidable if some T uring machine decides (solves) the problem D ecidable problems: • D oes M achine M have three states ? • Is string w a binary number? • D oes D FA M accept any input? Costas Busch - RPI 16 T he T uring machine that decides (solves) a problem answ ers Y ES or N O for each instance of the problem Input Y E S problem T uring M achine instance N O Costas Busch - RPI 17 T he machine that decides (solves) a problem: • If the answ er is Y E S then halts in a yes state • If the answ er is N O then halts in a no state T hese states may not be final states Costas Busch - RPI 18 T uring M achine that decides a problem / E S states N O states Y E S and N O states are halting states Costas Busch - RPI 19 D ifference betw een R ecursive Languages and D ecidable problems For decidable problems: T he Y E S states may not be final states Costas Busch - RPI 20 S ome problems are undecidable: w hich means: there is no T uring M achine that solves all instances of the problem A simple undecidable problem: T he membership problem Costas Busch - RPI 21 T he M embership Problem Input: •T uring M achine M •S tring w Q uestion: D oes M accept w ? w∈ L(M )? Costas Busch - RPI 22 T heorem: T he membership problem is undecidable (there are M and w for w hich w e cannot decide w hether w ∈ L ( M ) ) Proof: Assume for contradiction that the membership problem is decidable Costas Busch - RPI 23 T hus, there exists a T uring M achine H that solves the membership problem M Y E S M accepts w H w N O M rejects w Costas Busch - RPI 24 Let L be a recursively enumerable language Let M be the T uring M achine that accepts L W e w ill prove that L is also recursive: w e w ill describe a T uring machine that accepts L and halts on any input Costas Busch - RPI 25 T uring M achine that accepts L and halts on any input M H Y E S accept w M accepts w ? w N O reject w Costas Busch - RPI 26 T herefore, L is recursive S ince L is chosen arbitrarily, every recursively enumerable language is also recursive But there are recursively enumerable languages w hich are not recursive Contradiction!!!! Costas Busch - RPI 27 T herefore, the membership problem is undecidable EN D O F PR O O F Costas Busch - RPI 28 Another famous undecidable problem: T he halting problem Costas Busch - RPI 29 T he H alting Problem Input: •T uring M achine M •S tring w Q uestion: D oes M halt on input w ? Costas Busch - RPI 30 T heorem: T he halting problem is undecidable (there are M and w for w hich w e cannot decide w hether M halts on input w ) Proof: Assume for contradiction that the halting problem is decidable Costas Busch - RPI 31 T hus, there exists T uring M achine H that solves the halting problem M Y E S M halts on w H w N O doesn’t M w halt on Costas Busch - RPI 32 Construction of H H Input: q Y E S initial tape contents y wM w q0 qn N O Encoding S tring of M w Costas Busch - RPI 33 Construct machine H ′ : If H returns Y E S then loop forever If H returns N O then halt Costas Busch - RPI 34 H′ H Loop forever Y E S qy qa qb wM w q0 qn N O Costas Busch - RPI 35 Construct machine H ˆ : Input: wM (machine M ) If M halts on input wM T hen loop forever Else halt Costas Busch - RPI 36 Hˆ copy wM wM wM H′ wM Costas Busch - RPI 37 R un machine H ˆ w ith input itself: Input: wHˆ (machine H ˆ ) If Hˆ halts on input wHˆ T hen loop forever Else halt Costas Busch - RPI 38 Hˆ on input wHˆ : If H ˆ halts then loops forever If H ˆ doesn’t halt then it halts N O N S EN S E !!!!! Costas Busch - RPI 39 T herefore, w e have contradiction T he halting problem is undecidable EN D O F PR O O F Costas Busch - RPI 40 Another proof of the same theorem: If the halting problem w as decidable then every recursively enumerable language w ould be recursive Costas Busch - RPI 41 T heorem: T he halting problem is undecidable Proof: Assume for contradiction that the halting problem is decidable Costas Busch - RPI 42 T here exists T uring M achine H that solves the halting problem M Y E S M halts on w H w N O doesn’t M w halt on Costas Busch - RPI 43 Let L be a recursively enumerable language Let M be the T uring M achine that accepts L W e w ill prove that L is also recursive: w e w ill describe a T uring machine that accepts L and halts on any input Costas Busch - RPI 44 T uring M achine that accepts L and halts on any input M H N O reject w M halts on w ? w Y E S accept w H alts on final state R un M w ith input w reject w H alts on non-final state Costas Busch - RPI 45 T herefore L is recursive S ince L is chosen arbitrarily, every recursively enumerable language is also recursive But there are recursively enumerable languages w hich are not recursive Contradiction!!!! Costas Busch - RPI 46 T herefore, the halting problem is undecidable EN D O F PR O O F Costas Busch - RPI 47.
Recommended publications
  • CDM Context-Sensitive Grammars
    CDM Context-Sensitive Grammars 1 Context-Sensitive Grammars Klaus Sutner Carnegie Mellon Universality Linear Bounded Automata 70-cont-sens 2017/12/15 23:17 LBA and Counting Where Are We? 3 Postfix Calculators 4 Hewlett-Packard figured out 40 years ago the reverse Polish notation is by far the best way to perform lengthy arithmetic calculations. Very easy to implement with a stack. Context-free languages based on grammars with productions A α are very → important since they describe many aspects of programming languages and The old warhorse dc also uses RPN. admit very efficient parsers. 10 20 30 + * n CFLs have a natural machine model (PDA) that is useful e.g. to evaluate 500 arithmetic expressions. 10 20 30 f Properties of CFLs are mostly undecidable, Emptiness and Finiteness being 30 notable exceptions. 20 10 ^ n 1073741824000000000000000000000000000000 Languages versus Machines 5 Languages versus Machines 6 Why the hedging about “aspects of programming languages”? To deal with problems like this one we need to strengthen our grammars. The Because some properties of programming language lie beyond the power of key is to remove the constraint of being “context-free.” CFLs. Here is a classical example: variables must be declared before they can be used. This leads to another important grammar based class of languages: context-sensitive languages. As it turns out, CSL are plenty strong enough to begin describe programming languages—but in the real world it does not matter, it is int x; better to think of programming language as being context-free, plus a few ... extra constraints. x = 17; ..
    [Show full text]
  • Theory of Computation
    Theory of Computation Todd Gaugler December 14, 2011 2 Contents 1 Mathematical Background 5 1.1 Overview . .5 1.2 Number System . .5 1.3 Functions . .6 1.4 Relations . .6 1.5 Recursive Definitions . .8 1.6 Mathematical Induction . .9 2 Languages and Context-Free Grammars 11 2.1 Languages . 11 2.2 Counting the Rational Numbers . 13 2.3 Grammars . 14 2.4 Regular Grammar . 15 3 Normal Forms and Finite Automata 17 3.1 Review of Grammars . 17 3.2 Normal Forms . 18 3.3 Machines . 20 3.3.1 An NFA λ ..................................... 22 4 Regular Languages 23 4.1 Computation . 24 4.2 The Extended Transition Function . 24 4.3 Algorithms . 26 4.3.1 Removing Non-Determinism . 26 4.3.2 State Minimization . 26 4.3.3 Expression Graph . 26 4.4 The Relationship between a Regular Grammar and the Finite Automaton . 26 4.4.1 Building an NFA corresponding to a Regular Grammar . 27 4.4.2 Closure . 27 4.5 Review for the First Exam . 28 4.6 The Pumping Lemma . 28 5 Pushdown Automata and Context-Free Languages 31 5.1 Pushdown Automata . 31 5.2 Variations on the PDA Theme . 34 5.3 Acceptance of Context-Free Languages . 36 3 CONTENTS CONTENTS 5.4 The Pumping Lemma for Context-Free Languages . 36 5.5 Closure Properties of Context- Free Languages . 37 6 Turing Machines 39 6.1 The Standard Turing Machine . 39 6.2 Turing Machines as Language Acceptors . 40 6.3 Alternative Acceptance Criteria . 41 6.4 Multitrack Machines . 42 6.5 Two-Way Tape Machines .
    [Show full text]
  • Automata Theory and Formal Languages
    Alberto Pettorossi Automata Theory and Formal Languages Third Edition ARACNE Contents Preface 7 Chapter 1. Formal Grammars and Languages 9 1.1. Free Monoids 9 1.2. Formal Grammars 10 1.3. The Chomsky Hierarchy 13 1.4. Chomsky Normal Form and Greibach Normal Form 19 1.5. Epsilon Productions 20 1.6. Derivations in Context-Free Grammars 24 1.7. Substitutions and Homomorphisms 27 Chapter 2. Finite Automata and Regular Grammars 29 2.1. Deterministic and Nondeterministic Finite Automata 29 2.2. Nondeterministic Finite Automata and S-extended Type 3 Grammars 33 2.3. Finite Automata and Transition Graphs 35 2.4. Left Linear and Right Linear Regular Grammars 39 2.5. Finite Automata and Regular Expressions 44 2.6. Arden Rule 56 2.7. Equations Between Regular Expressions 57 2.8. Minimization of Finite Automata 59 2.9. Pumping Lemma for Regular Languages 72 2.10. A Parser for Regular Languages 74 2.10.1. A Java Program for Parsing Regular Languages 82 2.11. Generalizations of Finite Automata 90 2.11.1. Moore Machines 91 2.11.2. Mealy Machines 91 2.11.3. Generalized Sequential Machines 92 2.12. Closure Properties of Regular Languages 94 2.13. Decidability Properties of Regular Languages 96 Chapter 3. Pushdown Automata and Context-Free Grammars 99 3.1. Pushdown Automata and Context-Free Languages 99 3.2. From PDA’s to Context-Free Grammars and Back: Some Examples 111 3.3. Deterministic PDA’s and Deterministic Context-Free Languages 117 3.4. Deterministic PDA’s and Grammars in Greibach Normal Form 121 3.5.
    [Show full text]
  • Context-Sensitive Grammars and Linear- Bounded Automata
    I. J. Computer Network and Information Security, 2016, 1, 61-66 Published Online January 2016 in MECS (http://www.mecs-press.org/) DOI: 10.5815/ijcnis.2016.01.08 Context-Sensitive Grammars and Linear- Bounded Automata Prem Nath The Patent Office, CP-2, Sector-5, Salt Lake, Kolkata-700091, India Email: [email protected] Abstract—Linear-bounded automata (LBA) accept The head moves left or right on the tape utilizing finite context-sensitive languages (CSLs) and CSLs are number of states. A finite contiguous portion of the tape generated by context-sensitive grammars (CSGs). So, for whose length is a linear function of the length of the every CSG/CSL there is a LBA. A CSG is converted into initial input can be accessed by the read/write head. This normal form like Kuroda normal form (KNF) and then limitation makes LBA a more accurate model of corresponding LBA is designed. There is no algorithm or computers that actually exists than a Turing machine in theorem for designing a linear-bounded automaton (LBA) some respects. for a context-sensitive grammar without converting the LBA are designed to use limited storage (limited tape). grammar into some kind of normal form like Kuroda So, as a safety feature, we shall employ end markers normal form (KNF). I have proposed an algorithm for ($ on the left and on the right) on tape and the head this purpose which does not require any modification or never goes past these markers. This will ensure that the normalization of a CSG. storage bound is maintained and helps to keep LBA from leaving their tape.
    [Show full text]
  • Formal Languages and Automata
    Formal Languages and Automata Stephan Schulz & Jan Hladik [email protected] [email protected] L ⌃⇤ ✓ with contributions from David Suendermann 1 Table of Contents Formal Grammars and Context-Free Introduction Languages Basics of formal languages Formal Grammars The Chomsky Hierarchy Regular Languages and Finite Automata Right-linear Grammars Regular Expressions Context-free Grammars Finite Automata Push-Down Automata Non-Determinism Properties of Context-free Regular expressions and Finite Languages Automata Turing Machines and Languages of Type Minimisation 1 and 0 Equivalence Turing Machines The Pumping Lemma Unrestricted Grammars Properties of regular languages Linear Bounded Automata Scanners and Flex Properties of Type-0-languages 2 Outline Introduction Basics of formal languages Regular Languages and Finite Automata Scanners and Flex Formal Grammars and Context-Free Languages Turing Machines and Languages of Type 1 and 0 3 Introduction I Stephan Schulz I Dipl.-Inform., U. Kaiserslautern, 1995 I Dr. rer. nat., TU Munchen,¨ 2000 I Visiting professor, U. Miami, 2002 I Visiting professor, U. West Indies, 2005 I Lecturer (Hildesheim, Offenburg, . ) since 2009 I Industry experience: Building Air Traffic Control systems I System engineer, 2005 I Project manager, 2007 I Product Manager, 2013 I Professor, DHBW Stuttgart, 2014 Research: Logic & Automated Reasoning 4 Introduction I Jan Hladik I Dipl.-Inform.: RWTH Aachen, 2001 I Dr. rer. nat.: TU Dresden, 2007 I Industry experience: SAP Research I Work in publicly funded research projects I Collaboration with SAP product groups I Supervision of Bachelor, Master, and PhD students I Professor: DHBW Stuttgart, 2014 Research: Semantic Web, Semantic Technologies, Automated Reasoning 5 Literature I Scripts I The most up-to-date version of this document as well as auxiliary material will be made available online at http://wwwlehre.dhbw-stuttgart.de/ ˜sschulz/fla2015.html and http://wwwlehre.dhbw-stuttgart.de/ ˜hladik/FLA I Books I John E.
    [Show full text]
  • Csci 311, Models of Computation Chapter 11 a Hierarchy of Formal Languages and Automata
    CSci 311, Models of Computation Chapter 11 A Hierarchy of Formal Languages and Automata H. Conrad Cunningham 29 December 2015 Contents Introduction . 1 11.1 Recursive and Recursively Enumerable Languages . 2 11.1.1 Aside: Countability . 2 11.1.2 Definition of Recursively Enumerable Language . 2 11.1.3 Definition of Recursive Language . 2 11.1.4 Enumeration Procedure for Recursive Languages . 3 11.1.5 Enumeration Procedure for Recursively Enumerable Lan- guages . 3 11.1.6 Languages That are Not Recursively Enumerable . 4 11.1.7 A Language That is Not Recursively Enumerable . 5 11.1.8 A Language That is Recursively Enumerable but Not Recursive . 6 11.2 Unrestricted Grammars . 6 11.3 Context-Sensitive Grammars and Languages . 6 11.3.1 Linz Example 11.2 . 7 11.3.2 Linear Bounded Automata (lba) . 8 11.3.3 Relation Between Recursive and Context-Sensitive Lan- guages . 8 11.4 The Chomsky Hierarchy . 9 1 Copyright (C) 2015, H. Conrad Cunningham Acknowledgements: MS student Eli Allen assisted in preparation of these notes. These lecture notes are for use with Chapter 11 of the textbook: Peter Linz. Introduction to Formal Languages and Automata, Fifth Edition, Jones and Bartlett Learning, 2012.The terminology and notation used in these notes are similar to those used in the Linz textbook.This document uses several figures from the Linz textbook. Advisory: The HTML version of this document requires use of a browser that supports the display of MathML. A good choice as of December 2015 seems to be a recent version of Firefox from Mozilla.
    [Show full text]
  • INF2080 Context-Sensitive Langugaes
    INF2080 Context-Sensitive Langugaes Daniel Lupp Universitetet i Oslo 24th February 2016 Department of University of Informatics Oslo INF2080 Lecture :: 24th February 1 / 20 Context-Free Grammar Definition (Context-Free Grammar) A context-free grammar is a 4-tuple (V ; Σ; R; S) where 1 V is a finite set of variables 2 Σ is a finite set disjoint from V of terminals 3 R is a finite set of rules, each consisting of a variable and of a string of variables and terminals 4 and S is the start variable Rules are of the form A ! B1B2B3 ::: Bm, where A 2 V and each Bi 2 V [ Σ. INF2080 Lecture :: 24th February 2 / 20 Why Context-Sensitive? Many building blocks of programming languages are context-free, but not all! consider the following toy programming language, where you can “declare” and “assign” a variable a value. S ! declare v; S j assign v : x; S this is context-free... but what if we only want to allow assignment after declaration and an infinite amount of variable names? ! context-sensitive! INF2080 Lecture :: 24th February 3 / 20 Context-Sensitive Languages Some believe natural languages reside in the class of context-sensitive languages, though this is a controversial topic amongst linguists. But many characteristics of natural languages (e.g., verb-noun agreement) are context-sensitive! INF2080 Lecture :: 24th February 4 / 20 Context-Sensitive Grammars So, instead of allowing for a single variable on the left-hand side of a rule, we allow for a context: αBγ ! αβγ (1) with α; β; γ 2 (V [ Σ)∗, but β 6= ".
    [Show full text]
  • Context Sensitive Grammar and Linear Bounded Automata
    Introduction Definition of Context Sensitive Grammar Context Sensitive Languages Closure Properties Recursive v/s Context Sensitive Chomsky Hierarchy Linear Bounded Automata Myhill-Landweber-Kuroda Theorem References Context Sensitive Grammar and Linear Bounded Automata Anup Kumar Sah Hemanth Kumar A N Department of Computer Science & Automation Indian Institute of Science, Bangalore December 4, 2013 Introduction Definition of Context Sensitive Grammar Context Sensitive Languages Closure Properties Recursive v/s Context Sensitive Chomsky Hierarchy Linear Bounded Automata Myhill-Landweber-Kuroda Theorem References Overview 1 Introduction 2 Definition of Context Sensitive Grammar 3 Context Sensitive Languages 4 Closure Properties 5 Recursive v/s Context Sensitive 6 Chomsky Hierarchy 7 Linear Bounded Automata 8 Myhill-Landweber-Kuroda Theorem 9 References Introduction Definition of Context Sensitive Grammar Context Sensitive Languages Closure Properties Recursive v/s Context Sensitive Chomsky Hierarchy Linear Bounded Automata Myhill-Landweber-Kuroda Theorem References Introduction Hierarchy of grammar and languages. Type-0 ! Recursively enumerable language (N [ Σ)+ ! (N [ Σ)∗ Type-1 ! Context Sensitive language Type-2 ! Context Free language Type-3 ! Regular language As we move up in hierarchy restrictions on form of the production increases and power of grammar to represent languages decreases. We discuss Context Sensitive Language and corresponding state machine, (Linear Bounded Automaton(LBA)) and properties of Context Sensitive Languages. Introduction Definition of Context Sensitive Grammar Context Sensitive Languages Closure Properties Recursive v/s Context Sensitive Chomsky Hierarchy Linear Bounded Automata Myhill-Landweber-Kuroda Theorem References Formal Definition Context Sensitive Grammar(CSG) is a quadruple G=(N,Σ,P,S), where N is set of non-terminal symbols P is set of terminal symbols S is set of start symbol P's are of the form αAβ ! αγβ where γ 6= where (α; β; γ) 2 (N [ Σ)∗ and (A 2 N) Why Context Sensitive?? Given a production : αAβ ! αγβ where γ 6= .
    [Show full text]
  • Regular Languages: to Finite Automata and Beyond Succinct Descriptions and Optimal Simulations
    Regular Languages: To Finite Automata and Beyond Succinct Descriptions and Optimal Simulations Luca Prigioniero # Ñ Dipartimento di Informatica, Università degli Studi di Milano, Milan, Italy Abstract It is well known that the class of regular languages coincides with the class of languages recognized by finite automata. Nevertheless, many other characterizations of this class in terms of computational devices and generative models are present in the literature. For example, by suitably restricting more powerful models such as context-free grammars, pushdown automata, and Turing machines, it is possible to obtain formal models that generate or recognize regular languages only. These restricted formalisms provide alternative representations of regular languages that may be significantly more concise than other models that share the same expressive power. The goal of this work is to provide an overview of old and recent results on these formal systems from a descriptional complexity perspective, that is by considering the relationships between the sizes of such devices. We also present some results related to the investigation of the famous question posed by Sakoda and Sipser in 1978, concerning the size blowups from nondeterministic finite automata to two-way deterministic finite automata. 2012 ACM Subject Classification Theory of computation → Regular languages; Theory of compu- tation → Models of computation Keywords and phrases Regular languages, descriptional complexity, finite automata Digital Object Identifier 10.4230/OASIcs.AUTOMATA.2021.2 Category Invited Talk Acknowledgements This paper and the research behind it would not have been possible without the support and the valuable comments of Giovanni Pighizzini. 1 Introduction The investigation of computational models operating under restrictions is one of classical topics of computer science.
    [Show full text]
  • Recognition and Complexity Results for Projection Languages of Two
    Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata Taylor J. Smith a Kai Salomaa a September 2, 2020 Abstract The row projection (resp., column projection) of a two-dimensional language L is the one-dimensional language consisting of all first rows (resp., first columns) of each two-dimensional word in L. The operation of row projection has previously been studied under the name “frontier language”, and previous work has focused on one- and two-dimensional language classes. In this paper, we study projections of languages recognized by various two-dimensional automaton classes. We show that both the row and column projections of languages recognized by (four-way) two-dimensional automata are exactly context-sensitive. We also show that the column projections of languages recognized by unary three-way two-dimensional automata can be recognized using nondeterministic logspace. Finally, we study the state complexity of projection languages for two-way two-dimensional automata, focusing on the language operations of union and diagonal concatenation. Key words and phrases: language classes, projection languages, space complexity, three-way automata, two-dimensional automata, two-way automata MSC2020 classes: 68Q45 (primary); 68Q15, 68Q19 (secondary). arXiv:2009.00602v1 [cs.FL] 1 Sep 2020 1 Introduction A two-dimensional word is a generalization of the notion of a word from a one-dimensional string to an array or matrix of symbols. Two-dimensional words are used as the input to two-dimensional automata, whose input heads move through the input word in a variety of ways, depending on the model. We may define special projection operations on two-dimensional words that produce either the first row or the first column of the given word.
    [Show full text]
  • Turing Machines and Linear Bounded Automata Informatics 2A: Lecture 30
    The Chomsky hierarchy: summary Turing machines Linear bounded automata The limits of computability: Church-Turing thesis Turing machines and linear bounded automata Informatics 2A: Lecture 30 John Longley School of Informatics University of Edinburgh [email protected] 24 November 2017 1 / 18 The Chomsky hierarchy: summary Turing machines Linear bounded automata The limits of computability: Church-Turing thesis The Chomsky hierarchy: summary Level Language type Grammars Accepting machines 3 Regular X ! , X ! Y , NFAs (or DFAs) X ! aY (regular) 2 Context-free X ! β NPDAs (context-free) 1 Context-sensitive α ! β Nondeterministic with jαj ≤ jβj linear bounded (noncontracting) automata 0 Recursively α ! β Turing machines enumerable (unrestricted) The material in red will be introduced today. 2 / 18 The Chomsky hierarchy: summary Turing machines Linear bounded automata The limits of computability: Church-Turing thesis The length restriction in noncontracting grammars What's the effect of the restriction jαj ≤ jβj in noncontracting grammar rules? Idea: in a noncontracting derivation S )···)···) s of a nonempty string s, all the sentential forms are of length at most jsj. This means that if L is context-sensitive, and we're trying to decide whether s 2 L, we only need to consider possible sentential forms of length ≤ jsj . and there are just finitely many of these. So in principle, we have the problem under control. By contrast, without the length restriction, there's no upper limit on the length of intermediate forms that might appear in a derivation of s. So if we're searching for a derivation for s, how do we know when to stop looking? Intuitively, the problem here is wild and out of control.
    [Show full text]
  • April 20, 2021 15.1 Introduction 15.2 Turing Machines and Grammars
    Theory of Formal Languages (Linear bounded Automata) Lecture 15: April 20, 2021 Prof. K.R. Chowdhary : Professor of CS Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. They may be distributed outside this class only with the permission of the Instructor. 15.1 Introduction The Linear Bounded Automata (LBA) were originally developed as models for actual com- puters rather than models for the computational process. They have become important in the theory of computation even though they have not emerged in applications to the extent, which pushdown automata enjoy. In 1960, Myhill introduced an automation model today known as deterministic linear bounded automaton [myhill60]. Shortly thereafter, Landweber proved that the languages accepted by a deterministic LBA are always context-sensitive. In 1964, Kurodaintroduced the more gen- eral model of (nondeterministic) linear bounded automata, and showed that the languages accepted by them are precisely the context-sensitive languages. 15.2 Turing Machines and Grammars Now we try to pay our attention to Turing machines as language accepters. We have already defined two classes of languages, i.e., recursive languages (R) and recursive enumerable languages (RE), depending on whether string membership in the respective languages can be decided on or merely accepted. One approach to categorize the languages is using the (phrase structured) grammars. But, how do these language classes compare in relation to those defined by types of Turing Ma- chines? We have seen as how to characterize these languages using the machines. For instance, recall that regular languages are recognized by finite state automata.
    [Show full text]