Exercises Homework 1 301
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Synchronizing Deterministic Push-Down Automata Can
Synchronizing Deterministic Push-Down Automata Can Be Really Hard Henning Fernau Universität Trier, Fachbereich IV, Informatikwissenschaften, 54296 Trier, Germany [email protected] Petra Wolf Universität Trier, Fachbereich IV, Informatikwissenschaften, 54296 Trier, Germany https://www.wolfp.net/ [email protected] Tomoyuki Yamakami University of Fukui, Faculty of Engineering, 3-9-1 Bunkyo, Fukui 910-8507, Japan [email protected] Abstract The question if a deterministic finite automaton admits a software reset in the form of a so- called synchronizing word can be answered in polynomial time. In this paper, we extend this algorithmic question to deterministic automata beyond finite automata. We prove that the question of synchronizability becomes undecidable even when looking at deterministic one-counter automata. This is also true for another classical mild extension of regularity, namely that of deterministic one-turn push-down automata. However, when we combine both restrictions, we arrive at scenarios with a PSPACE-complete (and hence decidable) synchronizability problem. Likewise, we arrive at a decidable synchronizability problem for (partially) blind deterministic counter automata. There are several interpretations of what synchronizability should mean for deterministic push- down automata. This is depending on the role of the stack: should it be empty on synchronization, should it be always the same or is it arbitrary? For the automata classes studied in this paper, the complexity or decidability status of the synchronizability -
Practical Experiments with Regular Approximation of Context-Free Languages
Practical Experiments with Regular Approximation of Context-Free Languages Mark-Jan Nederhof German Research Center for Arti®cial Intelligence Several methods are discussed that construct a ®nite automaton given a context-free grammar, including both methods that lead to subsets and those that lead to supersets of the original context-free language. Some of these methods of regular approximation are new, and some others are presented here in a more re®ned form with respect to existing literature. Practical experiments with the different methods of regular approximation are performed for spoken-language input: hypotheses from a speech recognizer are ®ltered through a ®nite automaton. 1. Introduction Several methods of regular approximation of context-free languages have been pro- posed in the literature. For some, the regular language is a superset of the context-free language, and for others it is a subset. We have implemented a large number of meth- ods, and where necessary, re®ned them with an analysis of the grammar. We also propose a number of new methods. The analysis of the grammar is based on a suf®cient condition for context-free grammars to generate regular languages. For an arbitrary grammar, this analysis iden- ti®es sets of rules that need to be processed in a special way in order to obtain a regular language. The nature of this processing differs for the respective approximation meth- ods. For other parts of the grammar, no special treatment is needed and the grammar rules are translated to the states and transitions of a ®nite automaton without affecting the language. -
How to Go Beyond Turing with P Automata: Time Travels, Regular Observer Ω-Languages, and Partial Adult Halting
How to Go Beyond Turing with P Automata: Time Travels, Regular Observer !-Languages, and Partial Adult Halting Rudolf Freund1, Sergiu Ivanov2, and Ludwig Staiger3 1 Technische Universit¨atWien, Austria Email: [email protected] 2 Universit´eParis Est, France Email: [email protected] 3 Martin-Luther-Universit¨atHalle-Wittenberg, Germany Email: [email protected] Summary. In this paper we investigate several variants of P automata having infinite runs on finite inputs. By imposing specific conditions on the infinite evolution of the systems, it is easy to find ways for going beyond Turing if we are watching the behavior of the systems on infinite runs. As specific variants we introduce a new halting variant for P automata which we call partial adult halting with the meaning that a specific predefined part of the P automaton does not change any more from some moment on during the infinite run. In a more general way, we can assign !-languages as observer languages to the infinite runs of a P automaton. Specific variants of regular !-languages then, for example, characterize the red-green P automata. 1 Introduction Various possibilities how one can \go beyond Turing" are discussed in [11], for example, the definitions and results for red-green Turing machines can be found there. In [2] the notion of red-green automata for register machines with input strings given on an input tape (often also called counter automata) was introduced and the concept of red-green P automata for several specific models of membrane systems was explained. Via red-green counter automata, the results for acceptance and recognizability of finite strings by red-green Turing machines were carried over to red-green P automata. -
Constraints for Membership in Formal Languages Under Systematic Search and Stochastic Local Search
Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1027 Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search JUN HE ACTA UNIVERSITATIS UPSALIENSIS ISSN 1651-6214 ISBN 978-91-554-8617-4 UPPSALA urn:nbn:se:uu:diva-196347 2013 Dissertation presented at Uppsala University to be publicly examined in Room 2446, Polacksbacken, Lägerhyddsvägen 2D, Uppsala, Friday, April 26, 2013 at 13:00 for the degree of Doctor of Philosophy. The examination will be conducted in English. Abstract He, J. 2013. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search. Acta Universitatis Upsaliensis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1027. 74 pp. Uppsala. ISBN 978-91-554-8617-4. This thesis focuses on constraints for membership in formal languages under both the systematic search and stochastic local search approaches to constraint programming (CP). Such constraints are very useful in CP for the following three reasons: They provide a powerful tool for user- level extensibility of CP languages. They are very useful for modelling complex work shift regulation constraints, which exist in many shift scheduling problems. In the analysis, testing, and verification of string-manipulating programs, string constraints often arise. We show in this thesis that CP solvers with constraints for membership in formal languages are much more suitable than existing solvers used in tools that have to solve string constraints. In the stochastic local search approach to CP, we make the following two contributions: We introduce a stochastic method of maintaining violations for the regular constraint and extend our method to the automaton constraint with counters. -
CIT 425- AUTOMATA THEORY, COMPUTABILITY and FORMAL LANGUAGES LECTURE NOTE by DR. OYELAMI M. O. Introduction • This Course Cons
CIT 425- AUTOMATA THEORY, COMPUTABILITY AND FORMAL LANGUAGES LECTURE NOTE BY DR. OYELAMI M. O. Status: Core Description: Words and String. Concatenation, word Length; Language Definition. Regular Expression, Regular Language, Recursive Languages; Finite State Automata (FSA), State Diagrams; Pumping Lemma, Grammars, Applications in Computer Science and Engineering, Compiler Specification and Design, Text Editor and Implementation, Very Large Scale Integrated (VLSI) Circuit Specification and Design, Natural Language Processing (NLP) and Embedded Systems. Introduction This course constitutes the theoretical foundation of computer science. Loosely speaking we can think of automata, grammars, and computability as the study of what can be done by computers in principle, while complexity addresses what can be done in practice. This course has applications in the following areas: o Digital design, o Programming languages o Compilers construction Languages Dictionaries define the term informally as a system suitable for the expression of certain ideas, facts, or concepts, including a set of symbols and rules for their manipulation. While this gives us an intuitive idea of what a language is, it is not sufficient as a definition for the study of formal languages. We need a precise definition for the term. A formal language is an abstraction of the general characteristics of programming languages. Languages can be specified in various ways. One way is to list all the words in the language. Another is to give some criteria that a word must satisfy to be in the language. Another important way is to specify a language through the use of some terminologies: 1 Alphabet: A finite, nonempty set Σ of symbols. -
Computing Downward Closures for Stacked Counter Automata
Computing Downward Closures for Stacked Counter Automata Georg Zetzsche AG Concurrency Theory Fachbereich Informatik TU Kaiserslautern [email protected] Abstract The downward closure of a language L of words is the set of all (not necessarily contiguous) subwords of members of L. It is well known that the downward closure of any language is regular. Although the downward closure seems to be a promising abstraction, there are only few language classes for which an automaton for the downward closure is known to be computable. It is shown here that for stacked counter automata, the downward closure is computable. Stacked counter automata are finite automata with a storage mechanism obtained by adding blind counters and building stacks. Hence, they generalize pushdown and blind counter automata. The class of languages accepted by these automata are precisely those in the hierarchy ob- tained from the context-free languages by alternating two closure operators: imposing semilinear constraints and taking the algebraic extension. The main tool for computing downward closures is the new concept of Parikh annotations. As a second application of Parikh annotations, it is shown that the hierarchy above is strict at every level. 1998 ACM Subject Classification F.4.3 Formal languages Keywords and phrases abstraction, downward closure, obstruction set, computability 1 Introduction In the analysis of systems whose behavior is given by formal languages, it is a fruitful idea to consider abstractions: simpler objects that preserve relevant properties of the language and are amenable to algorithmic examination. A well-known such type of abstraction is the Parikh image, which counts the number of occurrences of each letter. -
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 . -
On the Complexity of Regular-Grammars with Integer Attributes ∗ M
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Computer and System Sciences 77 (2011) 393–421 Contents lists available at ScienceDirect Journal of Computer and System Sciences www.elsevier.com/locate/jcss On the complexity of regular-grammars with integer attributes ∗ M. Manna a, F. Scarcello b,N.Leonea, a Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy b Department of Electronics, Computer Science and Systems, University of Calabria, 87036 Rende (CS), Italy article info abstract Article history: Regular grammars with attributes overcome some limitations of classical regular grammars, Received 21 August 2009 sensibly enhancing their expressiveness. However, the addition of attributes increases the Received in revised form 17 May 2010 complexity of this formalism leading to intractability in the general case. In this paper, Available online 27 May 2010 we consider regular grammars with attributes ranging over integers, providing an in-depth complexity analysis. We identify relevant fragments of tractable attribute grammars, where Keywords: Attribute grammars complexity and expressiveness are well balanced. In particular, we study the complexity of Computational complexity the classical problem of deciding whether a string belongs to the language generated by Models of computation any attribute grammar from a given class C (call it parse[C]). We consider deterministic and ambiguous regular grammars, attributes specified by arithmetic expressions over {| |, +, −, ÷, %, ∗}, and a possible restriction on the attributes composition (that we call strict composition). Deterministic regular grammars with attributes computed by arithmetic expressions over {| |, +, −, ÷, %} are P-complete. If the way to compose expressions is strict, they can be parsed in L, and they remain tractable even if multiplication is allowed. -
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory by: Mohamed A.M.S Taha Thesis presented in partial fulfilment of the requirements for the degree of Master of Science in Computer Science at the University of Stellenbosch Supervisor: Prof. A.B. van der Merwe March, 2008 Declaration I, the undersigned, hereby declare that the work contained in this thesis is my own original work and has not previously in its entirety or in part been submitted at any university for a degree. Signature: ............. Date: ............. Copyright c 2008 Stellenbosch University All rights reserved i Abstract Context-free grammars are well-studied and well-behaved in terms of decidability, but many real-world problems cannot be described with context-free grammars. Grammars with regu- lated rewriting are grammars with mechanisms to regulate the applications of rules, so that certain derivations are avoided. Thus, with context-free rules and regulated rewriting mech- anisms, one can often generate languages that are not context-free. In this thesis we study grammars with regulated rewriting mechanisms. We consider prob- lems in which context-free grammars are insufficient and in which more descriptive grammars are required. We compare bag context grammars with other well-known classes of grammars with regulated rewriting mechanisms. We also discuss the relation between bag context gram- mars and recognizing devices such as counter automata and Petri net automata. We show that regular bag context grammars can generate any recursively enumerable language. We reformulate the pumping lemma for random permitting context languages with context-free rules, as introduced by Ewert and Van der Walt, by using the concept of a string homomor- phism. -
Computation of Infix Probabilities for Probabilistic Context-Free Grammars
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by St Andrews Research Repository Computation of Infix Probabilities for Probabilistic Context-Free Grammars Mark-Jan Nederhof Giorgio Satta School of Computer Science Dept. of Information Engineering University of St Andrews University of Padua United Kingdom Italy [email protected] [email protected] Abstract or part-of-speech, when a prefix of the input has al- ready been processed, as discussed by Jelinek and The notion of infix probability has been intro- Lafferty (1991). Such distributions are useful for duced in the literature as a generalization of speech recognition, where the result of the acous- the notion of prefix (or initial substring) prob- tic processor is represented as a lattice, and local ability, motivated by applications in speech recognition and word error correction. For the choices must be made for a next transition. In ad- case where a probabilistic context-free gram- dition, distributions for the next word are also useful mar is used as language model, methods for for applications of word error correction, when one the computation of infix probabilities have is processing ‘noisy’ text and the parser recognizes been presented in the literature, based on vari- an error that must be recovered by operations of in- ous simplifying assumptions. Here we present sertion, replacement or deletion. a solution that applies to the problem in its full generality. Motivated by the above applications, the problem of the computation of infix probabilities for PCFGs has been introduced in the literature as a generaliza- 1 Introduction tion of the prefix probability problem. -
1 Finite Automata and Regular Languages
Aalto University Department of Computer Science CS-C2150 Theoretical Computer Science Solved Example Problems, Spring 2020 1 Finite Automata and Regular Languages 1. Problem: Describe the following languages both in terms of regular expressions and in terms of deterministic finite automata: (a) fw 2 f0; 1g∗ j w contains 101 as a substringg, (b) fw 2 f0; 1g∗ j w does not contain 101 as a substringg. Solution: (a) A regular expression for this language is easy to construct: (0j1)∗101(0j1)∗: A nondeterministic finite automaton is also easy to come up with: 0; 1 0; 1 1 0 1 start q0 q1 q2 q3 Let us then determinise this using the subset construction: 0 1 ! fq0g fq0g fq0; q1g fq0; q1g fq0; q2g fq0; q1g fq0; q2g fq0g fq0; q1; q3g f:::; q3g f:::; q3g f:::; q3g The last row of the table has been simplified based on the observation that from a set containing the accepting state q3, one always moves again to some set con- taining q3, and so all such states are equivalent. Thus, we obtain the following deterministic automaton: 1 0; 1 0 1 0 1 start fq0g fq0; q1g fq0; q2g f:::; q3g 0 (b) Observe that the language here is the complement of the language in part (a), and the DFA provided in part (a) is complete, i.e. all possible transitions are explicitly listed. Therefore, complementing the DFA from part (a) yields a DFA for this language: 0 1 0; 1 1 0 1 start q0 q1 q2 q3 0 All accepting states are inaccessible from state q3, thus we may ignore it. -
Problem Book
Faculty of Mathematics, Informatics and Mechanics, UW Computational Complexity Problem book Spring 2011 Coordinator Damian Niwiński Contributors: Contents 1 Turing Machines 5 1.1 Machines in general.........................................5 1.2 Coding objects as words and problems as languages.......................5 1.3 Turing machines as computation models..............................5 1.4 Turing machines — basic complexity................................7 1.5 One-tape Turing machines......................................7 1.6 Decidability and undecidability...................................7 2 Circuits 9 2.1 Circuit basics.............................................9 2.2 More on the parity function..................................... 11 2.3 Circuit depth and communication complexity........................... 12 2.4 Machines with advice......................................... 12 2.4.1 P-selective problems..................................... 13 3 Basic complexity classes 15 3.1 Polynomial time........................................... 15 3.2 Logarithmic space.......................................... 17 3.3 Alternation.............................................. 18 3.4 Numbers................................................ 19 3.5 PSPACE................................................ 20 3.6 NP................................................... 21 3.7 BPP.................................................. 21 3.8 Diverse................................................ 22 3 4 Chapter 1 Turing Machines Contributed: Vince Bárány,