Lipschitz Robustness of Finite-state Transducers
|
|
- Robert Carson
- 6 years ago
- Views:
Transcription
1 Lipschitz Robustness of Finite-state Transducers Roopsha Samanta IST Austria Joint work with Tom Henzinger and Jan Otop December 16, 2014 Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 1 / 18
2 Problem Overview Computational systems in physical environments ) uncertain data Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 2 / 18
3 Problem Overview Corrupt data from sensors in avionics software or medical devices Incomplete DNA strings in computational biology Wrongly spelled inputs to text processors Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 2 / 18
4 Problem Overview Functional correctness not enough System behaviour must degrade smoothly given input perturbation We need continuity or robustness Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 2 / 18
5 Informal definition Focus on finite-state transducers Robustness of transducers Lipschitz continuity Transducer T is K -Lipschitz robust if for all inputs s, t: d(s, t) < 1)d(T (s), T (t)) apple Kd(s, t) Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 3 / 18
6 Example d(s, t) =Hamming distance(s, t) if s = t, else 1 T NR : a/a q 0 b/b T R : a/b q 0 b/a q 1 q 2 q 1 q 2 a/a a/b a/b a/b Inputs: d(a k+1, ba k )=1 Outputs: d(a k+1, b k+1 )=k + 1 Inputs: d(a k+1, ba k )=1 Outputs: d(b k+1, ab k )=1 Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 4 / 18
7 Main contributions Undecidability of K -robustness of deterministic transducers Characterization of functional transducers with decidable K -robustness Consider distances computable by weighted automata Reduce K -robustness to emptiness problem for weighted automata Polynomial-time decision procedure Formalization/study of K -robustness of nondeterministic transducers All results hold for transducers over finite or infinite words Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 5 / 18
8 Main contributions Undecidability of K -robustness of deterministic transducers Characterization of functional transducers with decidable K -robustness Consider distances computable by weighted automata Reduce K -robustness to emptiness problem for weighted automata Polynomial-time decision procedure Formalization/study of K -robustness of nondeterministic transducers All results hold for transducers over finite or infinite words Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 5 / 18
9 Main contributions Undecidability of K -robustness of deterministic transducers Characterization of functional transducers with decidable K -robustness Consider distances computable by weighted automata Reduce K -robustness to emptiness problem for weighted automata Polynomial-time decision procedure Formalization/study of K -robustness of nondeterministic transducers All results hold for transducers over finite or infinite words Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 5 / 18
10 Main contributions Undecidability of K -robustness of deterministic transducers Characterization of functional transducers with decidable K -robustness Consider distances computable by weighted automata Reduce K -robustness to emptiness problem for weighted automata Polynomial-time decision procedure Formalization/study of K -robustness of nondeterministic transducers All results hold for transducers over finite or infinite words Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 5 / 18
11 Main contributions Undecidability of K -robustness of deterministic transducers Characterization of functional transducers with decidable K -robustness Consider distances computable by weighted automata Reduce K -robustness to emptiness problem for weighted automata Polynomial-time decision procedure Formalization/study of K -robustness of nondeterministic transducers All results hold for transducers over finite or infinite words Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 5 / 18
12 Transducers (T ) Finite-state device with two tapes In each step, a transducer T reads an input letter (alphabet ) writes a finite word (alphabet ) nondeterministically changes state Output of T : defined only if run is accepting dom(t ) Transduction JT K dom(t ) Functional: at most one output word for every input word s 0 = JT K(s) Mealy machines: deterministic, letter-to-letter, all states accepting Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 6 / 18
13 Transducers (T ) Finite-state device with two tapes In each step, a transducer T reads an input letter (alphabet ) writes a finite word (alphabet ) nondeterministically changes state Output of T : defined only if run is accepting dom(t ) Transduction JT K dom(t ) Functional: at most one output word for every input word s 0 = JT K(s) Mealy machines: deterministic, letter-to-letter, all states accepting Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 6 / 18
14 Transducers (T ) Finite-state device with two tapes In each step, a transducer T reads an input letter (alphabet ) writes a finite word (alphabet ) nondeterministically changes state Output of T : defined only if run is accepting dom(t ) Transduction JT K dom(t ) Functional: at most one output word for every input word s 0 = JT K(s) Mealy machines: deterministic, letter-to-letter, all states accepting Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 6 / 18
15 Transducers (T ) Finite-state device with two tapes In each step, a transducer T reads an input letter (alphabet ) writes a finite word (alphabet ) nondeterministically changes state Output of T : defined only if run is accepting dom(t ) Transduction JT K dom(t ) Functional: at most one output word for every input word s 0 = JT K(s) Mealy machines: deterministic, letter-to-letter, all states accepting Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 6 / 18
16 Transducers (T ) Finite-state device with two tapes In each step, a transducer T reads an input letter (alphabet ) writes a finite word (alphabet ) nondeterministically changes state Output of T : defined only if run is accepting dom(t ) Transduction JT K dom(t ) Functional: at most one output word for every input word s 0 = JT K(s) Mealy machines: deterministic, letter-to-letter, all states accepting Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 6 / 18
17 Weighted automata Finite automaton A with weighted transitions (weights 2 Q) A (weighted) run is a sequence c( ) of weights Given value-function f, value of a run : f ( ) =f (c( )) Examples for value-functions: sum, discounted sum, limit-average Notation: SUM-WA, DISC -WA, LIMAVG-WA Value of a word s: L A(s) =inf 2Acc(s) f ( ) Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 7 / 18
18 Weighted automata Finite automaton A with weighted transitions (weights 2 Q) A (weighted) run is a sequence c( ) of weights Given value-function f, value of a run : f ( ) =f (c( )) Examples for value-functions: sum, discounted sum, limit-average Notation: SUM-WA, DISC -WA, LIMAVG-WA Value of a word s: L A(s) =inf 2Acc(s) f ( ) Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 7 / 18
19 Weighted automata Finite automaton A with weighted transitions (weights 2 Q) A (weighted) run is a sequence c( ) of weights Given value-function f, value of a run : f ( ) =f (c( )) Examples for value-functions: sum, discounted sum, limit-average Notation: SUM-WA, DISC -WA, LIMAVG-WA Value of a word s: L A(s) =inf 2Acc(s) f ( ) Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 7 / 18
20 Weighted automata Finite automaton A with weighted transitions (weights 2 Q) A (weighted) run is a sequence c( ) of weights Given value-function f, value of a run : f ( ) =f (c( )) Examples for value-functions: sum, discounted sum, limit-average Notation: SUM-WA, DISC -WA, LIMAVG-WA Value of a word s: L A(s) =inf 2Acc(s) f ( ) Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 7 / 18
21 Weighted automata Given an f -WA A and a threshold : Emptiness: 9 s : L A(s) <? Universality: 8 s : L A(s) <? Emptiness is decidable in polynomial time for SUM-, DISC -, LIMAVG-WA Universality is undecidable for SUM-WA. Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 8 / 18
22 Similarity functions d : S S! Q [1such that 8x, y 2 S: d(x, y) 0 d(x, y) =d(y, x) Example: Manhattan distance d(s, t) = {s[i] 6= t[i]} Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 9 / 18
23 Similarity functions Pairing: ab bcaa = a b b c # a # a Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 9 / 18
24 Similarity functions Pairing: ab bcaa = a b b c # a # a d : S S! Q 1 is computed by a weighted automaton A if: 8s, t 2 S : d(s, t) =L A(s t) Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 9 / 18
25 Similarity functions Pairing: ab bcaa = a b b c # a # a d : S S! Q 1 is computed by a weighted automaton A if: 8s, t 2 S : d(s, t) =L A(s t) Example: Manhattan distance SUM-WA A : a, b a b 0 q 0 a, b b a 1 L A( s[1] t[1] s[2] t[2]...) = {s[i] 6= t[i]} Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 9 / 18
26 Robust transducers Given: a functional transducer T, with JT K similarity function d :! Q 1 similarity function d :! Q 1 constant K 2 Q with K > 0 T is defined to be K -Lipschitz robust w.r.t d, d if: 8s, t 2 dom(t ): d (s, t) < 1)d (JT K(s), JT K(t)) apple Kd (s, t). Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 10 / 18
27 Robust transducers Given: a functional transducer T, with JT K similarity function d :! Q 1 similarity function d :! Q 1 constant K 2 Q with K > 0 T is defined to be K -Lipschitz robust w.r.t d, d if: 8s, t 2 dom(t ): d (s, t) < 1)d (JT K(s), JT K(t)) apple Kd (s, t). Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 10 / 18
28 Problem definition Given: a functional transducer T, with JT K similarity function d :! Q 1 similarity function d :! Q 1 constant K 2 Q with K > 0 Check if T is K -Lipschitz robust w.r.t d, d. Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 11 / 18
29 Undecidability K -robustness of functional transducers is undecidable. 1-robustness of deterministic transducers w.r.t. generalized Manhattan distances is undecidable. Proof hint: Reduction from PCP. Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 12 / 18
30 From K -robustness to robustness T is robust w.r.t. d, d if 9K : T is K -robust w.r.t. d, d. Let d, d be generalized Manhattan distances. 1 Robustness of T is decidable in CO-NP. 2 One can compute K T such that T is robust iff T is K T -robust. Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 13 / 18
31 Synchronized transducers T with JT K!! is synchronized iff: 9 automaton A T over recognizing {s JT K(s) :s 2 dom(t )}. Synchronicity of a functional transducer can be decided in polynomial time Example: Mealy machines are synchronized transducers. q a a0! q 0 2A T iff (q, a, a 0, q 0 ) 2 T Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 14 / 18
32 Robustness of synchronized transducers If d, d are similarity functions computed by functional f -WA A d, A d, K -robustness of synchronized T w.r.t. d, d is decidable in PTIME. Proof hint: Construct A over s t s 0 t 0 : Ā K d Ā L T Ā R T Ā 1 d A T accepts s s 0 A T accepts t t 0 L Ad (s t) L Ad (s 0 t 0 ) 9w : L A(w) < 0 iff T is not K -robust w.r.t. d, d Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 15 / 18
33 Example Recall: Mealy machines are synchronized transducers Manhattan distances are computable by functional SUM-WA K -robustness of Mealy machines w.r.t. Manhattan distances is decidable. Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 16 / 18
34 Nondeterministic transducers For a nondeterministic transducer T, JT K(s) 1 Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 17 / 18
35 Nondeterministic transducers Given: a transducer T, with JT K, similarity function d :! Q 1 set-similarity function D : 2! Q 1 constant K 2 Q with K > 0 T is defined to be K -robust w.r.t d, D if: 8s, t 2 dom(t ): d (s, t) < 1)D (JT K(s), JT K(t)) apple Kd (s, t). Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 17 / 18
36 Nondeterministic transducers Set-similarity functions D(A, B) induced by d Hausdorff: max{ sup s2a Inf-inf: inf inf d(s, t) s2a t2b Sup-sup: sup s2a sup d(s, t) t2b inf d(s, t), sup t2b s2b inf d(s, t) } t2a Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 17 / 18
37 Nondeterministic transducers Set-similarity functions D(A, B) induced by d Hausdorff: max{ sup s2a Inf-inf: inf inf d(s, t) Undecidable s2a t2b Sup-sup: sup s2a sup d(s, t) t2b inf d(s, t), sup t2b s2b inf d(s, t) } Undecidable t2a K -robustness Decidable Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 17 / 18
38 Thank you. Roopsha Samanta Lipschitz Robustness of Finite-state Transducers 18 / 18
Lipschitz Robustness of Finite-state Transducers
Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty
More informationRobustness Analysis of Networked Systems
Robustness Analysis of Networked Systems Roopsha Samanta The University of Texas at Austin Joint work with Jyotirmoy V. Deshmukh and Swarat Chaudhuri January, 0 Roopsha Samanta Robustness Analysis of Networked
More informationComputability and Complexity
Computability and Complexity Lecture 5 Reductions Undecidable problems from language theory Linear bounded automata given by Jiri Srba Lecture 5 Computability and Complexity 1/14 Reduction Informal Definition
More informationTheory of Computation
Theory of Computation Lecture #10 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 43 Lecture 10: Overview Linear Bounded Automata Acceptance Problem for LBAs
More informationIntroduction to Computers & Programming
16.070 Introduction to Computers & Programming Theory of computation: What is a computer? FSM, Automata Prof. Kristina Lundqvist Dept. of Aero/Astro, MIT Models of Computation What is a computer? If you
More information5 3 Watson-Crick Automata with Several Runs
5 3 Watson-Crick Automata with Several Runs Peter Leupold Department of Mathematics, Faculty of Science Kyoto Sangyo University, Japan Joint work with Benedek Nagy (Debrecen) Presentation at NCMA 2009
More informationCSCE 551 Final Exam, Spring 2004 Answer Key
CSCE 551 Final Exam, Spring 2004 Answer Key 1. (10 points) Using any method you like (including intuition), give the unique minimal DFA equivalent to the following NFA: 0 1 2 0 5 1 3 4 If your answer is
More informationChapter 5. Finite Automata
Chapter 5 Finite Automata 5.1 Finite State Automata Capable of recognizing numerous symbol patterns, the class of regular languages Suitable for pattern-recognition type applications, such as the lexical
More informationQuantitative Languages
Quantitative Languages Krishnendu Chatterjee 1, Laurent Doyen 2, and Thomas A. Henzinger 2 1 University of California, Santa Cruz 2 EPFL, Lausanne, Switzerland Abstract. Quantitative generalizations of
More informationUNIT-VIII COMPUTABILITY THEORY
CONTEXT SENSITIVE LANGUAGE UNIT-VIII COMPUTABILITY THEORY A Context Sensitive Grammar is a 4-tuple, G = (N, Σ P, S) where: N Set of non terminal symbols Σ Set of terminal symbols S Start symbol of the
More informationFinite-state Machines: Theory and Applications
Finite-state Machines: Theory and Applications Unweighted Finite-state Automata Thomas Hanneforth Institut für Linguistik Universität Potsdam December 10, 2008 Thomas Hanneforth (Universität Potsdam) Finite-state
More informationReducability. Sipser, pages
Reducability Sipser, pages 187-214 Reduction Reduction encodes (transforms) one problem as a second problem. A solution to the second, can be transformed into a solution to the first. We expect both transformations
More informationTheory of Computation Turing Machine and Pushdown Automata
Theory of Computation Turing Machine and Pushdown Automata 1. What is a Turing Machine? A Turing Machine is an accepting device which accepts the languages (recursively enumerable set) generated by type
More information3130CIT Theory of Computation
GRIFFITH UNIVERSITY School of Computing and Information Technology 3130CIT Theory of Computation Final Examination, Semester 2, 2006 Details Total marks: 120 (40% of the total marks for this subject) Perusal:
More informationTuring Machines A Turing Machine is a 7-tuple, (Q, Σ, Γ, δ, q0, qaccept, qreject), where Q, Σ, Γ are all finite
The Church-Turing Thesis CS60001: Foundations of Computing Science Professor, Dept. of Computer Sc. & Engg., Turing Machines A Turing Machine is a 7-tuple, (Q, Σ, Γ, δ, q 0, q accept, q reject ), where
More informationUndecidable Problems and Reducibility
University of Georgia Fall 2014 Reducibility We show a problem decidable/undecidable by reducing it to another problem. One type of reduction: mapping reduction. Definition Let A, B be languages over Σ.
More informationFinite-state machines (FSMs)
Finite-state machines (FSMs) Dr. C. Constantinides Department of Computer Science and Software Engineering Concordia University Montreal, Canada January 10, 2017 1/19 Finite-state machines (FSMs) and state
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTATION
FORMAL LANGUAGES, AUTOMATA AND COMPUTATION DECIDABILITY ( LECTURE 15) SLIDES FOR 15-453 SPRING 2011 1 / 34 TURING MACHINES-SYNOPSIS The most general model of computation Computations of a TM are described
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 6a REVIEW for Q2 Q2 covers Lecture 5 and Lecture 6 Chapter 2 - Deterministic Finite Automata DFA Chapter 2 - Nondeterministic
More informationDecision, Computation and Language
Decision, Computation and Language Non-Deterministic Finite Automata (NFA) Dr. Muhammad S Khan (mskhan@liv.ac.uk) Ashton Building, Room G22 http://www.csc.liv.ac.uk/~khan/comp218 Finite State Automata
More informationExam Computability and Complexity
Total number of points:... Number of extra sheets of paper:... Exam Computability and Complexity by Jiri Srba, January 2009 Student s full name CPR number Study number Before you start, fill in the three
More informationOn Rice s theorem. Hans Hüttel. October 2001
On Rice s theorem Hans Hüttel October 2001 We have seen that there exist languages that are Turing-acceptable but not Turing-decidable. An important example of such a language was the language of the Halting
More informationRobustness Analysis of Networked Systems
Robustness Analysis of Networked Systems Roopsha Samanta 1, Jyotirmoy V. Deshmukh 2, and Swarat Chaudhuri 3 1 University of Texas at Austin roopsha@cs.utexas.edu 2 University of Pennsylvania djy@cis.upenn.edu
More informationCMP 309: Automata Theory, Computability and Formal Languages. Adapted from the work of Andrej Bogdanov
CMP 309: Automata Theory, Computability and Formal Languages Adapted from the work of Andrej Bogdanov Course outline Introduction to Automata Theory Finite Automata Deterministic Finite state automata
More informationDeterministic Finite Automata. Non deterministic finite automata. Non-Deterministic Finite Automata (NFA) Non-Deterministic Finite Automata (NFA)
Deterministic Finite Automata Non deterministic finite automata Automata we ve been dealing with have been deterministic For every state and every alphabet symbol there is exactly one move that the machine
More informationMidterm Exam 2 CS 341: Foundations of Computer Science II Fall 2018, face-to-face day section Prof. Marvin K. Nakayama
Midterm Exam 2 CS 341: Foundations of Computer Science II Fall 2018, face-to-face day section Prof. Marvin K. Nakayama Print family (or last) name: Print given (or first) name: I have read and understand
More informationFrom Boolean to Quantitative System Specifications. Tom Henzinger EPFL
From Boolean to Quantitative System Specifications Tom Henzinger EPFL Outline 1 The Quantitative Agenda 2 Some Basic Open Problems 3 Some Promising Directions The Boolean Agenda Program/ System Property/
More informationHomework Assignment 6 Answers
Homework Assignment 6 Answers CSCI 2670 Introduction to Theory of Computing, Fall 2016 December 2, 2016 This homework assignment is about Turing machines, decidable languages, Turing recognizable languages,
More informationPeter Wood. Department of Computer Science and Information Systems Birkbeck, University of London Automata and Formal Languages
and and Department of Computer Science and Information Systems Birkbeck, University of London ptw@dcs.bbk.ac.uk Outline and Doing and analysing problems/languages computability/solvability/decidability
More informationFinite State Machine (1A) Young Won Lim 6/9/18
Finite State Machine (A) 6/9/8 Copyright (c) 23-28 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free ocumentation License, Version.2 or
More informationNODIA AND COMPANY. GATE SOLVED PAPER Computer Science Engineering Theory of Computation. Copyright By NODIA & COMPANY
No part of this publication may be reproduced or distributed in any form or any means, electronic, mechanical, photocopying, or otherwise without the prior permission of the author. GATE SOLVED PAPER Computer
More informationFinite Automata. Finite Automata
Finite Automata Finite Automata Formal Specification of Languages Generators Grammars Context-free Regular Regular Expressions Recognizers Parsers, Push-down Automata Context Free Grammar Finite State
More informationSYLLABUS. Introduction to Finite Automata, Central Concepts of Automata Theory. CHAPTER - 3 : REGULAR EXPRESSIONS AND LANGUAGES
Contents i SYLLABUS UNIT - I CHAPTER - 1 : AUT UTOMA OMATA Introduction to Finite Automata, Central Concepts of Automata Theory. CHAPTER - 2 : FINITE AUT UTOMA OMATA An Informal Picture of Finite Automata,
More informationTheory of Computation
Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 3: Finite State Automata Motivation In the previous lecture we learned how to formalize
More informationClarifications from last time. This Lecture. Last Lecture. CMSC 330: Organization of Programming Languages. Finite Automata.
CMSC 330: Organization of Programming Languages Last Lecture Languages Sets of strings Operations on languages Finite Automata Regular expressions Constants Operators Precedence CMSC 330 2 Clarifications
More information6.045 Final Exam Solutions
6.045J/18.400J: Automata, Computability and Complexity Prof. Nancy Lynch, Nati Srebro 6.045 Final Exam Solutions May 18, 2004 Susan Hohenberger Name: Please write your name on each page. This exam is open
More informationHoming and Synchronizing Sequences
Homing and Synchronizing Sequences Sven Sandberg Information Technology Department Uppsala University Sweden 1 Outline 1. Motivations 2. Definitions and Examples 3. Algorithms (a) Current State Uncertainty
More informationThe Complexity of Transducer Synthesis from Multi-Sequential Specifications
The Complexity of Transducer Synthesis from Multi-Sequential Specifications Léo Exibard 12 Emmanuel Filiot 13 Ismaël Jecker 1 Tuesday, August 28 th, 2018 1 Université libre de Bruxelles 2 LIS Aix-Marseille
More informationCSCE 551: Chin-Tser Huang. University of South Carolina
CSCE 551: Theory of Computation Chin-Tser Huang huangct@cse.sc.edu University of South Carolina Computation History A computation history of a TM M is a sequence of its configurations C 1, C 2,, C l such
More information15-251: Great Theoretical Ideas in Computer Science Lecture 7. Turing s Legacy Continues
15-251: Great Theoretical Ideas in Computer Science Lecture 7 Turing s Legacy Continues Solvable with Python = Solvable with C = Solvable with Java = Solvable with SML = Decidable Languages (decidable
More informationTheory of Computation
Theory of Computation Lecture #2 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 1 Lecture 2: Overview Recall some basic definitions from Automata Theory.
More informationSection 14.1 Computability then else
Section 14.1 Computability Some problems cannot be solved by any machine/algorithm. To prove such statements we need to effectively describe all possible algorithms. Example (Turing machines). Associate
More informationState Complexity of Neighbourhoods and Approximate Pattern Matching
State Complexity of Neighbourhoods and Approximate Pattern Matching Timothy Ng, David Rappaport, and Kai Salomaa School of Computing, Queen s University, Kingston, Ontario K7L 3N6, Canada {ng, daver, ksalomaa}@cs.queensu.ca
More informationIntroduction to Turing Machines
Introduction to Turing Machines Deepak D Souza Department of Computer Science and Automation Indian Institute of Science, Bangalore. 12 November 2015 Outline 1 Turing Machines 2 Formal definitions 3 Computability
More informationStudent#: CISC-462 Exam, December XY, 2017 Page 1 of 12
Student#: CISC-462 Exam, December XY, 2017 Page 1 of 12 Queen s University, Faculty of Arts and Science, School of Computing CISC-462 Final Exam, December XY, 2017 (Instructor: Kai Salomaa) INSTRUCTIONS
More informationSimplification of finite automata
Simplification of finite automata Lorenzo Clemente (University of Warsaw) based on joint work with Richard Mayr (University of Edinburgh) Warsaw, November 2016 Nondeterministic finite automata We consider
More informationFoundations of
91.304 Foundations of (Theoretical) Computer Science Chapter 3 Lecture Notes (Section 3.2: Variants of Turing Machines) David Martin dm@cs.uml.edu With some modifications by Prof. Karen Daniels, Fall 2012
More informationAutomata & languages. A primer on the Theory of Computation. Laurent Vanbever. ETH Zürich (D-ITET) October,
Automata & languages A primer on the Theory of Computation Laurent Vanbever www.vanbever.eu ETH Zürich (D-ITET) October, 19 2017 Part 5 out of 5 Last week was all about Context-Free Languages Context-Free
More informationAC68 FINITE AUTOMATA & FORMULA LANGUAGES DEC 2013
Q.2 a. Prove by mathematical induction n 4 4n 2 is divisible by 3 for n 0. Basic step: For n = 0, n 3 n = 0 which is divisible by 3. Induction hypothesis: Let p(n) = n 3 n is divisible by 3. Induction
More informationIncompleteness Theorems, Large Cardinals, and Automata ov
Incompleteness Theorems, Large Cardinals, and Automata over Finite Words Equipe de Logique Mathématique Institut de Mathématiques de Jussieu - Paris Rive Gauche CNRS and Université Paris 7 TAMC 2017, Berne
More informationContext Sensitive Grammar
Context Sensitive Grammar Aparna S Vijayan Department of Computer Science and Automation December 2, 2011 Aparna S Vijayan (CSA) CSG December 2, 2011 1 / 12 Contents Aparna S Vijayan (CSA) CSG December
More informationPushdown automata. Twan van Laarhoven. Institute for Computing and Information Sciences Intelligent Systems Radboud University Nijmegen
Pushdown automata Twan van Laarhoven Institute for Computing and Information Sciences Intelligent Systems Version: fall 2014 T. van Laarhoven Version: fall 2014 Formal Languages, Grammars and Automata
More informationAutomata-theoretic analysis of hybrid systems
Automata-theoretic analysis of hybrid systems Madhavan Mukund SPIC Mathematical Institute 92, G N Chetty Road Chennai 600 017, India Email: madhavan@smi.ernet.in URL: http://www.smi.ernet.in/~madhavan
More informationCpSc 421 Final Exam December 15, 2006
CpSc 421 Final Exam December 15, 2006 Do problem zero and six of problems 1 through 9. If you write down solutions for more that six problems, clearly indicate those that you want graded. Note that problems
More informationClosure under the Regular Operations
Closure under the Regular Operations Application of NFA Now we use the NFA to show that collection of regular languages is closed under regular operations union, concatenation, and star Earlier we have
More informationAutomata Theory (2A) Young Won Lim 5/31/18
Automata Theory (2A) Copyright (c) 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationA Survey of Partial-Observation Stochastic Parity Games
Noname manuscript No. (will be inserted by the editor) A Survey of Partial-Observation Stochastic Parity Games Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger the date of receipt and acceptance
More informationClasses and conversions
Classes and conversions Regular expressions Syntax: r = ε a r r r + r r Semantics: The language L r of a regular expression r is inductively defined as follows: L =, L ε = {ε}, L a = a L r r = L r L r
More informationC6.2 Push-Down Automata
Theory of Computer Science April 5, 2017 C6. Context-free Languages: Push-down Automata Theory of Computer Science C6. Context-free Languages: Push-down Automata Malte Helmert University of Basel April
More informationGriffith University 3130CIT Theory of Computation (Based on slides by Harald Søndergaard of The University of Melbourne) Turing Machines 9-0
Griffith University 3130CIT Theory of Computation (Based on slides by Harald Søndergaard of The University of Melbourne) Turing Machines 9-0 Turing Machines Now for a machine model of much greater power.
More informationTree Automata and Rewriting
and Rewriting Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.jussieu.fr July 23, 2010 What are? Definition Tree Automaton A tree automaton
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY REVIEW for MIDTERM 1 THURSDAY Feb 6 Midterm 1 will cover everything we have seen so far The PROBLEMS will be from Sipser, Chapters 1, 2, 3 It will be
More informationLecture 12: Mapping Reductions
Lecture 12: Mapping Reductions October 18, 2016 CS 1010 Theory of Computation Topics Covered 1. The Language EQ T M 2. Mapping Reducibility 3. The Post Correspondence Problem 1 The Language EQ T M The
More informationAdvanced Automata Theory 10 Transducers and Rational Relations
Advanced Automata Theory 10 Transducers and Rational Relations Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Advanced
More informationarxiv: v1 [cs.fl] 19 Mar 2015
Regular realizability problems and regular languages A. Rubtsov arxiv:1503.05879v1 [cs.fl] 19 Mar 2015 1 Moscow Institute of Physics and Technology 2 National Research University Higher School of Economics
More informationThe Target Discounted-Sum Problem
The Target Discounted-Sum Problem Udi Boker The Interdisciplinary Center (IDC), Herzliya, Israel Email: udiboker@idc.ac.il Thomas A. Henzinger and Jan Otop IST Austria Klosterneuburg, Austria Email: {tah,
More informationThe Target Discounted-Sum Problem
The Target Discounted-Sum Problem Udi Boker and Thomas A Henzinger and Jan Otop Technical Report No. IST-2015-335-v1+1 Deposited at 18 May 2015 07:50 http://repository.ist.ac.at/335/1/report.pdf IST Austria
More informationWatson-Crick ω-automata. Elena Petre. Turku Centre for Computer Science. TUCS Technical Reports
Watson-Crick ω-automata Elena Petre Turku Centre for Computer Science TUCS Technical Reports No 475, December 2002 Watson-Crick ω-automata Elena Petre Department of Mathematics, University of Turku and
More information1. (a) Explain the procedure to convert Context Free Grammar to Push Down Automata.
Code No: R09220504 R09 Set No. 2 II B.Tech II Semester Examinations,December-January, 2011-2012 FORMAL LANGUAGES AND AUTOMATA THEORY Computer Science And Engineering Time: 3 hours Max Marks: 75 Answer
More informationTuring Machines and Time Complexity
Turing Machines and Time Complexity Turing Machines Turing Machines (Infinitely long) Tape of 1 s and 0 s Turing Machines (Infinitely long) Tape of 1 s and 0 s Able to read and write the tape, and move
More informationTheory of Computation
Theory of Computation Dr. Sarmad Abbasi Dr. Sarmad Abbasi () Theory of Computation 1 / 38 Lecture 21: Overview Big-Oh notation. Little-o notation. Time Complexity Classes Non-deterministic TMs The Class
More informationNon-emptiness Testing for TMs
180 5. Reducibility The proof of unsolvability of the halting problem is an example of a reduction: a way of converting problem A to problem B in such a way that a solution to problem B can be used to
More informationPart I: Definitions and Properties
Turing Machines Part I: Definitions and Properties Finite State Automata Deterministic Automata (DFSA) M = {Q, Σ, δ, q 0, F} -- Σ = Symbols -- Q = States -- q 0 = Initial State -- F = Accepting States
More informationProbabilistic Aspects of Computer Science: Probabilistic Automata
Probabilistic Aspects of Computer Science: Probabilistic Automata Serge Haddad LSV, ENS Paris-Saclay & CNRS & Inria M Jacques Herbrand Presentation 2 Properties of Stochastic Languages 3 Decidability Results
More information6.8 The Post Correspondence Problem
6.8. THE POST CORRESPONDENCE PROBLEM 423 6.8 The Post Correspondence Problem The Post correspondence problem (due to Emil Post) is another undecidable problem that turns out to be a very helpful tool for
More informationUNRESTRICTED GRAMMARS
136 UNRESTRICTED GRAMMARS Context-free grammar allows to substitute only variables with strings In an unrestricted grammar (or a rewriting system) one may substitute any non-empty string (containing variables
More informationComplexity. Complexity Theory Lecture 3. Decidability and Complexity. Complexity Classes
Complexity Theory 1 Complexity Theory 2 Complexity Theory Lecture 3 Complexity For any function f : IN IN, we say that a language L is in TIME(f(n)) if there is a machine M = (Q, Σ, s, δ), such that: L
More informationMA/CSSE 474 Theory of Computation
MA/CSSE 474 Theory of Computation CFL Hierarchy CFL Decision Problems Your Questions? Previous class days' material Reading Assignments HW 12 or 13 problems Anything else I have included some slides online
More informationTheory Bridge Exam Example Questions
Theory Bridge Exam Example Questions Annotated version with some (sometimes rather sketchy) answers and notes. This is a collection of sample theory bridge exam questions. This is just to get some idea
More informationUndecidable Problems. Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, / 65
Undecidable Problems Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, 2018 1/ 65 Algorithmically Solvable Problems Let us assume we have a problem P. If there is an algorithm solving
More informationCSE 105 THEORY OF COMPUTATION. Spring 2018 review class
CSE 105 THEORY OF COMPUTATION Spring 2018 review class Today's learning goals Summarize key concepts, ideas, themes from CSE 105. Approach your final exam studying with confidence. Identify areas to focus
More informationCS5371 Theory of Computation. Lecture 14: Computability V (Prove by Reduction)
CS5371 Theory of Computation Lecture 14: Computability V (Prove by Reduction) Objectives This lecture shows more undecidable languages Our proof is not based on diagonalization Instead, we reduce the problem
More informationPushdown Automata. Chapter 12
Pushdown Automata Chapter 12 Recognizing Context-Free Languages We need a device similar to an FSM except that it needs more power. The insight: Precisely what it needs is a stack, which gives it an unlimited
More informationQuantum Computing Lecture 8. Quantum Automata and Complexity
Quantum Computing Lecture 8 Quantum Automata and Complexity Maris Ozols Computational models and complexity Shor s algorithm solves, in polynomial time, a problem for which no classical polynomial time
More informationThe Turing Machine. Computability. The Church-Turing Thesis (1936) Theory Hall of Fame. Theory Hall of Fame. Undecidability
The Turing Machine Computability Motivating idea Build a theoretical a human computer Likened to a human with a paper and pencil that can solve problems in an algorithmic way The theoretical provides a
More informationTuring Machines Part III
Turing Machines Part III Announcements Problem Set 6 due now. Problem Set 7 out, due Monday, March 4. Play around with Turing machines, their powers, and their limits. Some problems require Wednesday's
More informationCS 154, Lecture 2: Finite Automata, Closure Properties Nondeterminism,
CS 54, Lecture 2: Finite Automata, Closure Properties Nondeterminism, Why so Many Models? Streaming Algorithms 0 42 Deterministic Finite Automata Anatomy of Deterministic Finite Automata transition: for
More informationNotes for Lecture Notes 2
Stanford University CS254: Computational Complexity Notes 2 Luca Trevisan January 11, 2012 Notes for Lecture Notes 2 In this lecture we define NP, we state the P versus NP problem, we prove that its formulation
More informationComputation Histories
208 Computation Histories The computation history for a Turing machine on an input is simply the sequence of configurations that the machine goes through as it processes the input. An accepting computation
More information6.045: Automata, Computability, and Complexity Or, Great Ideas in Theoretical Computer Science Spring, Class 8 Nancy Lynch
6.045: Automata, Computability, and Complexity Or, Great Ideas in Theoretical Computer Science Spring, 2010 Class 8 Nancy Lynch Today More undecidable problems: About Turing machines: Emptiness, etc. About
More informationCSE 311 Lecture 23: Finite State Machines. Emina Torlak and Kevin Zatloukal
CSE 3 Lecture 3: Finite State Machines Emina Torlak and Kevin Zatloukal Topics Finite state machines (FSMs) Definition and examples. Finite state machines with output Definition and examples. Finite state
More informationVariable Automata over Infinite Alphabets
Variable Automata over Infinite Alphabets Orna Grumberg a, Orna Kupferman b, Sarai Sheinvald b a Department of Computer Science, The Technion, Haifa 32000, Israel b School of Computer Science and Engineering,
More informationCMSC 330: Organization of Programming Languages. Theory of Regular Expressions Finite Automata
: Organization of Programming Languages Theory of Regular Expressions Finite Automata Previous Course Review {s s defined} means the set of string s such that s is chosen or defined as given s A means
More informationTheory of Computation
Fall 2002 (YEN) Theory of Computation Midterm Exam. Name:... I.D.#:... 1. (30 pts) True or false (mark O for true ; X for false ). (Score=Max{0, Right- 1 2 Wrong}.) (1) X... If L 1 is regular and L 2 L
More information1. Draw a parse tree for the following derivation: S C A C C A b b b b A b b b b B b b b b a A a a b b b b a b a a b b 2. Show on your parse tree u,
1. Draw a parse tree for the following derivation: S C A C C A b b b b A b b b b B b b b b a A a a b b b b a b a a b b 2. Show on your parse tree u, v, x, y, z as per the pumping theorem. 3. Prove that
More informationCOMP/MATH 300 Topics for Spring 2017 June 5, Review and Regular Languages
COMP/MATH 300 Topics for Spring 2017 June 5, 2017 Review and Regular Languages Exam I I. Introductory and review information from Chapter 0 II. Problems and Languages A. Computable problems can be expressed
More informationRecap DFA,NFA, DTM. Slides by Prof. Debasis Mitra, FIT.
Recap DFA,NFA, DTM Slides by Prof. Debasis Mitra, FIT. 1 Formal Language Finite set of alphabets Σ: e.g., {0, 1}, {a, b, c}, { {, } } Language L is a subset of strings on Σ, e.g., {00, 110, 01} a finite
More informationNonlinear Real Arithmetic and δ-satisfiability. Paolo Zuliani
Nonlinear Real Arithmetic and δ-satisfiability Paolo Zuliani School of Computing Science Newcastle University, UK (Slides courtesy of Sicun Gao, UCSD) 1 / 27 Introduction We use hybrid systems for modelling
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY 5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY YOU NEED TO PICK UP THE SYLLABUS, THE COURSE SCHEDULE, THE PROJECT INFO SHEET, TODAY S CLASS NOTES
More informationCounter Automata and Classical Logics for Data Words
Counter Automata and Classical Logics for Data Words Amal Dev Manuel amal@imsc.res.in Institute of Mathematical Sciences, Taramani, Chennai, India. January 31, 2012 Data Words Definition (Data Words) A
More information