How to simulate Turing machines by invertible one-dimensional cellular automata
|
|
- Jessica Stone
- 6 years ago
- Views:
Transcription
1 How to simulte Turing mchines by invertible one-dimensionl cellulr utomt Jen-Christophe Dubcq Déprtement de Mthémtiques et d Informtique, École Normle Supérieure de Lyon, 46, llée d Itlie, Lyon Cedex 07, Frnce Jnury 4, 2008 Abstrct The issue of testing invertibility of cellulr utomt hs been often discussed. Constructing invertible utomt is very useful for simulting invertible dynmicl systems, bsed on locl rules. The computtion universlity of cellulr utomt hs long been positively resolved, nd by showing tht ny cellulr utomton could be simulted by n invertible one hving superior dimension, Toffoli proved tht invertible cellulr utomton of dimension d 2 were computtion-universl. Morit proved tht ny invertible Turing Mchine could be simulted by one-dimensionl invertible cellulr utomton, which proved computtion-universlity of invertible cellulr utomt. This rticle shows how to simulte ny Turing Mchine by n invertible cellulr utomton with no loss of time nd gives, s corollry, n esier proof of this result. Keywords: cellulr utomt, universlity, invertibility. 1 Introduction A cellulr utomton cn be seen s simple rry of cells, ech cell intercting with defined set of neighbors, nd chnging of stte ccording to n internl tble in synchronous wy (i.e. ech cell considers the old sttes of the other cells to compute its new stte). One of the best known exmple of cellulr utomton is Conwy s gme of Life. We define nd use subclss of cellulr utomt tht cn be esily used for hndling simultions of smll locl processes. These prtitioned cellulr utomt re convenient tool for describing some processes of cellulr computtions. In this subclss, we consider tht there re severl flows of informtion tht go through ech cell. The set of neighbors defines the direction nd ll the chrcteristics of tht informtion flow, tht is quntified by product of finite sets. All tht cn be done by cell is to melt the different flows, creting new ones or deleting some others, ccording to deterministic tble of 2,rue Lebudy, Rosny/Seine, Frnce ; emil: jcdubcq@ens.ens-lyon.fr
2 trnsition. The description of these utomt llows esier hndling thn the one of rndom cellulr utomton. The purpose of the second prt of this pper is to prove the following result : Theorem 1 Any 1-tpe Turing Mchine cn be simulted without loss of time by n invertible prtitionned cellulr utomton. Morit, in [3], proved tht invertible Turing Mchines could be simulted by invertible cellulr utomt, nd he lso presented proof tht Turing Mchines could be simulted by invertible ones, but the trnsformtion of TM into n invertible one needs qudrtic time to run. Our construction is independnt of Morit s result. The ide of the proof is to hve ech cell simulting one tpe cell of the Turing mchine, while conveying to the left n history of ll the trnsformtions performed by the hed. 2 Definitions nd properties In this section, we shll define subclss of cellulr utomt tht re clled prtitionned cellulr utomt. These utomt re very simple to use in simultion of locl processes, nd esy to define. Their forml definition llows primry results tht re quite interesting. 2.1 Prtitioned cellulr utomt. Prtitioned cellulr utomt (PCA) re formlly defined s qudruplets (d, S, N, f) where: d is the dimension of the PCA; S = S 1 S 2... S r where S 1, S 2,..., S r re finite sets of stte; r N is the number of neighbors; N = {z 1, z 2,..., z r } is finite subset of Z d (the neighbourhood of the PCA); f is the trnsition function defined from S N S with the following conditions: f is the composition of two functions Φ G N ; Φ is function from S into S; G N is the function defined from S N into S by where s (j) z i G N (s 1, s 2,..., s r ) = (s (1) z 1, s (2) z 2,..., s (r) z r ) is the j th component of the i th neighbor.
3 Figure 1: The set of neighbors of A nd the ction of G { 2, 1,+1} Initil configurtion C 0 A single step of computtion over C 0 by G { 2, 1,+1} A single step of computtion over C 0 by A Figure 2: Applying A to configurtion As n exemple we give the ction of the following PCA: A = (1, {0, 1, 2} {0, 1, 2} {0, 1, 2}, { 2, 1, +1}, sorting G { 2, 1,+1} ) where the function sorting is the function tht tkes list of three numbers s input nd gives the sme list in incresing order s output. A PCA is useful for moving round informtion (s quntified by the vrious sets of sttes). Informtion will move in stright line if Φ is the identity function or could be melted loclly by the ction of Φ. The difference between prtitionned cellulr utomt nd cellulr utomt is tht the locl trnsition function is lwys defined s being the composition of G N nd of nother fonction, nd tht the set of sttes is relly defined s being product of sets. 2.2 Invertibility Lemm 1 A prtitioned cellulr utomton A is invertible iff its function Φ is bijection. Proof. First we prove tht if Φ is not bijection, then A is not invertible. We exhibte two distincts configurtions tht hve the sme imge. As Φ is not bijective, it is lso not injective (s it goes from finite set into the sme finite set). Hence, there does exist two sttes of the PCA tht hve the sme imge. Let s denote them by (σ 1, σ 2,..., σ r ) nd (θ 1, θ 2,..., θ r ). Then, let s tke two configurtions tht re identicl except for the neighbors of cell c in which the i th component of the i th neighbor is σ i in the configurtion C 1 nd θ i in the configurtion C 2. If we pply A on these two
4 configurtions, it is cler tht G N lets ll the cells identicl except the cell c, nd tht Φ pplied to c lets ll the cells identicl (s both configurtions get the sme stte for cell c). Hence, we get configurtion tht hs two ncestors, nd A is not invertible. Now, we shll prove tht if Φ is bijection, the PCA A is invertible. We simply construct A 1. Let s denote the stte of cell c by s c. Let A 1 = (d, S, N, g) with g function tht cn be written s G N Φ 1 where Φ 1 is the extension of Φ 1 to S N : Φ 1 (s c1, s c2,..., s cr ) = (Φ 1 (s c1 ), Φ 1 (s c2 ),..., Φ 1 (s cr ))) Hence, the i th component of cell c is (Φ 1 (s c z i )) (i), where s c is the stte of the cell c fter hving pplied A to the initil configurtion. We cn expnd it into: (Φ 1 (Φ(G N (s c zi +z 1, s c zi +z 2,..., s c zi +z r ))) (i) i.e. (G N (s c zi +z 1, s c zi +z 2,..., s c zi +z r )) (i), i.e. s (i) c z i +z i, i.e. s (i) c. As tht computtion stnds for ny cell c nd ny i, 1 i r, the utomt A is invertible nd dmits A 1 for inverse. Let us note tht the inverse for the PCA we built is not exctly PCA since the melting is done before the trnsltion, but it is not fundmentlly different (nd it is still CA). 2.3 Consequences We hve just built subclss of CA tht is very esily described, nd for which invertibility is esily decidble. This section tries to explin why the trnsformtion doesn t preserve invertibility. As Kri showed in [1] tht in generl cse, invertibility of 2D cellulr utomt is undecidble, there is difference between the two clsses. CA cn obviously simulte PCA, s the definition of these cn be seen s just definition of subset. PCA cn simulte CA s follows: just mke ech cell send the whole informtion to ll the neighbors, nd then let ech cell pply the trnsition function of the CA to cell (s every cell will know the sttes of the neighbors). But the simultion does not preserve bijectivity (becuse just few sttes of the cells correspond to the simultion). Thus it is not possible to prove tht invertibility of the PCA is equivlent to the invertibility of the corresponding CA. In fct, we build mpping from one set of configurtions into nother set of configurtions tht is bijection in the cse of the simultion of PCA by CA (hence decidbility of invertibility is kept) nd tht is not surjective in the cse of the simultion of generic CA by PCA. 3 Simultion of Turing Mchines by one-dimensionl invertible prtitioned cellulr utomt We re interested in the possibility of simulting processes with prtitioned cellulr utomt, especilly the simultion of Turing Mchines. This resolves the problem of
5 universlity of invertible cellulr utomt, s invertible prtitioned cellulr utomt re subset of invertible cellulr utomt nd simultion of Turing Mchine llows the computtion of ny computble function. Morit lredy nlysed the reltions between universlity nd cellulr utomt in [3], [4] nd [2], but this study brings new pproch to the problem. 3.1 Deterministic Turing Mchine The Turing Mchine tht we shll consider in this section cn be defined s triplet T = (F, Q, τ) where: F is finite set of symbols (the set of chrcters of the Turing Mchine) in which we cn distinguish blnk symbol, denoted by 0, Q is finite set of sttes of the R/W hed, in which we cn distinguish n cceptnce hlt-stte q Y, τ is function from F Q F Q {left, right}, the trnsition function of the Turing Mchine T. A configurtion of tpe is given by mpping from Z into F. A configurtion of Turing Mchine is the configurtion of tpe nd the position nd internl stte of the hed. For ech computtion step, the R/W hed tht is initited to strting position mkes trnsition ccording to the function τ depending on the vlue of the cell nd the vlue of the stte of the hed, rewrites new vlue in the cell, nd then moves whether to the right or to the left (ccording to τ). A vlid configurtion is configurtion tht cn be deduced from n initil mpping from Z into F with finite number of symbols different from 0 nd the hed t the left end of the tpe in finite number of steps. 3.2 Definition of A τ Being given Turing Mchine T, we shll consider the following PCA A τ : N = {0, 1, 1, 2} Σ = Q {} A τ = (1, F Σ Σ (F Σ {left, right}), N, Φ G N } We shll denote the stte of cell by (, b, c, d) nd prtilly define Φ in the following wy: If b, c =, d = (0,, left), then, if we suppose (, b, δ) = τ(, b): Φ(, b,, d) = (, b,, (, b, left)) if δ = left = (,, b, (, b, left)) if δ = right
6 If b =, c, d = (0,, left), then, if we suppose (, c, δ) = τ(, c): Φ(,, c, d) = (, c,, (, c, right)) if δ = left = (,, c, (, c, right)) if δ = right If b = c =, then Φ(,,, d) = (,,, d) We shll prove tht Φ restricted to the lredy-defined sttes is injective. Hence, we will be ble to extend Φ to bijective function by choosing ny imge not lredy used for the remining undefined sttes. Remrk tht the number of sttes of the A is 2f 2 (q + 1) 3, where f is the size of the set of chrcters of T nd q is the number of sttes of T. Lemm 2 The restriction of Φ to the previous configurtions is injective. Proof. Injectivity of Φ in sme group of sttes is trivil, s d is lwys (0,, left). We shll just check tht there cn t be ny confusion between two different groups. The two first groups (b or c different from ) re obviously distinct becuse of the lst component of the imges. Moreover, no element of these two groups cn be seen s n element of the third one, s the second element of the lst component is necessrily different from in the first two groups nd is in the third. Corollry 1 Φ cn be extended into bijective function. Hence, A τ one-dimensionl cellulr utomton. is n invertible 3.3 Simultion of T by A τ Vlid configurtions of A τ re defined s configurtions of the form (0,,, (0,, left)) (blnk cells) everywhere but in finite number of cells, where it cn be of the form (γ,,, (0,, left)), with γ F (clen cells) or (γ,,, κ), with γ F nd κ F Σ {left, right} (used cells). Moreover, there must be exctly one cell in the line tht hs the form (γ,,, (0,, left)) with nd γ F, for which ll cells on the right re either blnk or clen. The set of these configurtions defines the Turing-vlid configurtions. Lemm 3 There exists n injection from the set of configurtions of T into the set of Turing-vlid configurtions of A τ Proof. Let C be configurtion of T. We build Turing-vlid configurtion of A τ s follows: j 1, C C (j) = (C(j),,, (0,, left)); C C (1) = (C(1), q 0,, (0,, left)), where q 0 is the initil stte of the Turing Mchine T.
7 b 0 left τ(,b)=(,b,left) b b left b 0 left τ(,b)=(,b,right) b b left 0 b left τ(,b)=(,b,left) b b right 0 b left τ(,b)=(,b,right) b b right d e f d e f Figure 3: Trnsition rules for A τ
8 The configurtion we get for A τ is clerly Turing-vlid. The injectivity results from the mpping of C into C C. Now, we shll prove the min theorem: Theoreme 1 The utomton A τ simultes the computtion of T on ny configurtion C of T with no loss of time. Proof. We just hve to show function tht turns the configurtion of A τ obtined from Turing-vlid configurtions by itertions of A τ into configurtions of T obtined by the sme number of computtion steps. We do this by writing tht the line of cells is turned into the tpe of T by keeping just the first field of it (i.e. the chrcter of the cell). The R/W hed is lso in the only stte tht is different from in the second or third fields. We ll just write tht the position of the R/W hed is the bciss minus one of cell from which the second field is different from, or the bciss plus one of cell from which the third field is different from. In fct, we hve to gurntee tht there s only one cell for which the second or the third field is different from to prove the vlidity of tht trnsformtion. We cn prove by induction the following property: there exists one nd only one cell (with bciss x 0 ) for which the second or third field is different from, nd x > x 0, the fourth field is (0,, left). It s true for the Turing-vlid configurtions. Let s suppose tht it is true for the n th itertion. The R/W hed is on the cell x 0 (symbol different from ). After the itertion of G N, the R/W hed is either one cell on left, or one cell on right. The shift on left of the fourth fields tht re different from (0,, left) implies tht they re t most in cell x 0 2; the R/W hed being in position x 0 1 or x 0 + 1, the fourth component is (0,, left) nd the function Φ ensures tht there is only one R/W hed fter the ppliction of Φ. Hence, the condition is true for the (n + 1) th ppliction of A τ becuse the configurtion is still Turing-vlid. The lst check is for the correctness of the simultion of the Turing Mchine T. The move of the R/W hed is correct, s given by the function τ. The tpe is correctly simulted, becuse the cells chnge only if the R/W hed is operting on them, nd, if it opertes, the trnsition is the one tht would be done by the Turing Mchine (ccording to the definition of Φ). Hence, for ny instnt t, there is n exct correspondnce between the tpe of T nd the configurtion of the cellulr utomton. From the preceding, we cn deduce the following corollry: Corollry 2 There exist universl invertible one-dimensionl cellulr utomt. Acknowledgements I would like to thnk the people tht hve directed my work, Jcques Mzoyer nd Bruno Durnd, of the Lbortoire d informtique du Prllélisme of the École Normle Supérieure de Lyon.
9 References [1] J. Kri. Reversbility of 2D cellulr utomt is undecidble. Physic, D 45: , [2] K. Morit. Any irreversible cellulr utomton cn be simulted by reversible. Technicl report, IEICE, [3] K. Morit nd M. Hro. Computtion universlity of one-dimensionl reversible (injective). Trnsctions of the IEICE, E-72(6): , June [4] K. Morit nd S. Ueno. Computtion-universl models of two-dimensionl 16-stte reversible utomt. IEICE Trns. Inf. nd Syst., E75 D(1): , Jnury 1992.
Non Deterministic Automata. Linz: Nondeterministic Finite Accepters, page 51
Non Deterministic Automt Linz: Nondeterministic Finite Accepters, pge 51 1 Nondeterministic Finite Accepter (NFA) Alphbet ={} q 1 q2 q 0 q 3 2 Nondeterministic Finite Accepter (NFA) Alphbet ={} Two choices
More informationNon-Deterministic Finite Automata. Fall 2018 Costas Busch - RPI 1
Non-Deterministic Finite Automt Fll 2018 Costs Busch - RPI 1 Nondeterministic Finite Automton (NFA) Alphbet ={} q q2 1 q 0 q 3 Fll 2018 Costs Busch - RPI 2 Nondeterministic Finite Automton (NFA) Alphbet
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More information1 Nondeterministic Finite Automata
1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you
More informationState Minimization for DFAs
Stte Minimiztion for DFAs Red K & S 2.7 Do Homework 10. Consider: Stte Minimiztion 4 5 Is this miniml mchine? Step (1): Get rid of unrechle sttes. Stte Minimiztion 6, Stte is unrechle. Step (2): Get rid
More informationCS 275 Automata and Formal Language Theory
CS 275 Automt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Problem (II) Chpter II.6.: Push Down Automt Remrk: This mteril is no longer tught nd not directly exm relevnt Anton Setzer (Bsed
More informationChapter 2 Finite Automata
Chpter 2 Finite Automt 28 2.1 Introduction Finite utomt: first model of the notion of effective procedure. (They lso hve mny other pplictions). The concept of finite utomton cn e derived y exmining wht
More informationThis lecture covers Chapter 8 of HMU: Properties of CFLs
This lecture covers Chpter 8 of HMU: Properties of CFLs Turing Mchine Extensions of Turing Mchines Restrictions of Turing Mchines Additionl Reding: Chpter 8 of HMU. Turing Mchine: Informl Definition B
More informationTheory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38
Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control
More informationMore on automata. Michael George. March 24 April 7, 2014
More on utomt Michel George Mrch 24 April 7, 2014 1 Automt constructions Now tht we hve forml model of mchine, it is useful to mke some generl constructions. 1.1 DFA Union / Product construction Suppose
More informationDesigning finite automata II
Designing finite utomt II Prolem: Design DFA A such tht L(A) consists of ll strings of nd which re of length 3n, for n = 0, 1, 2, (1) Determine wht to rememer out the input string Assign stte to ech of
More informationCS5371 Theory of Computation. Lecture 20: Complexity V (Polynomial-Time Reducibility)
CS5371 Theory of Computtion Lecture 20: Complexity V (Polynomil-Time Reducibility) Objectives Polynomil Time Reducibility Prove Cook-Levin Theorem Polynomil Time Reducibility Previously, we lernt tht if
More informationTheory of Computation Regular Languages
Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of
More informationFormal languages, automata, and theory of computation
Mälrdlen University TEN1 DVA337 2015 School of Innovtion, Design nd Engineering Forml lnguges, utomt, nd theory of computtion Thursdy, Novemer 5, 14:10-18:30 Techer: Dniel Hedin, phone 021-107052 The exm
More informationConvert the NFA into DFA
Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:
More informationNon-Deterministic Finite Automata
Non-Deterministic Finite Automt http://users.comlb.ox.c.uk/luke. ong/teching/moc/nf2up.pdf 1 Nondeterministic Finite Automton (NFA) Alphbet ={} q1 q2 2 Alphbet ={} Two choices q1 q2 3 Alphbet ={} Two choices
More informationFinite Automata. Informatics 2A: Lecture 3. John Longley. 22 September School of Informatics University of Edinburgh
Lnguges nd Automt Finite Automt Informtics 2A: Lecture 3 John Longley School of Informtics University of Edinburgh jrl@inf.ed.c.uk 22 September 2017 1 / 30 Lnguges nd Automt 1 Lnguges nd Automt Wht is
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationNon Deterministic Automata. Formal Languages and Automata - Yonsei CS 1
Non Deterministic Automt Forml Lnguges nd Automt - Yonsei CS 1 Nondeterministic Finite Accepter (NFA) We llow set of possible moves insted of A unique move. Alphbet = {} Two choices q 1 q2 Forml Lnguges
More informationFinite Automata. Informatics 2A: Lecture 3. Mary Cryan. 21 September School of Informatics University of Edinburgh
Finite Automt Informtics 2A: Lecture 3 Mry Cryn School of Informtics University of Edinburgh mcryn@inf.ed.c.uk 21 September 2018 1 / 30 Lnguges nd Automt Wht is lnguge? Finite utomt: recp Some forml definitions
More informationCS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata
CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or
More informationChapter Five: Nondeterministic Finite Automata. Formal Language, chapter 5, slide 1
Chpter Five: Nondeterministic Finite Automt Forml Lnguge, chpter 5, slide 1 1 A DFA hs exctly one trnsition from every stte on every symol in the lphet. By relxing this requirement we get relted ut more
More informationCHAPTER 1 Regular Languages. Contents
Finite Automt (FA or DFA) CHAPTE 1 egulr Lnguges Contents definitions, exmples, designing, regulr opertions Non-deterministic Finite Automt (NFA) definitions, euivlence of NFAs nd DFAs, closure under regulr
More informationarxiv: v1 [math.ds] 19 Feb 2016
SIMULATION OF EFFECTIVE SUBSHIFTS BY TWO-DIMENSIONAL SUBSHIFTS OF FINITE TYPE NATHALIE AUBRUN AND MATHIEU SABLIK rxiv:1602.06095v1 [mth.ds] 19 Feb 2016 Abstrct. In this rticle we study how subshift cn
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationLecture 08: Feb. 08, 2019
4CS4-6:Theory of Computtion(Closure on Reg. Lngs., regex to NDFA, DFA to regex) Prof. K.R. Chowdhry Lecture 08: Fe. 08, 2019 : Professor of CS Disclimer: These notes hve not een sujected to the usul scrutiny
More informationTypes of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. Comparing DFAs and NFAs (cont.) Finite Automata 2
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationCMSC 330: Organization of Programming Languages. DFAs, and NFAs, and Regexps (Oh my!)
CMSC 330: Orgniztion of Progrmming Lnguges DFAs, nd NFAs, nd Regexps (Oh my!) CMSC330 Spring 2018 Types of Finite Automt Deterministic Finite Automt (DFA) Exctly one sequence of steps for ech string All
More informationFormal Languages and Automata
Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt Chun-Ming Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University
More informationCMSC 330: Organization of Programming Languages
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 CMSC 330 1 Types of Finite Automt Deterministic Finite Automt (DFA) Exctly one sequence of steps for ech string All exmples so fr Nondeterministic
More informationHardness of conjugacy, embedding and factorization of multidimensional subshifts
Hrdness of conjugcy, embedding nd fctoriztion of multidimensionl subshifts Emmnuel Jendel, Pscl Vnier b LORIA Cmpus Scientifique - BP 239 54506 Vndoeuvre-les-Nncy Frnce b Lbortoire d Algorithmique Complexité
More informationNFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun:
CMPU 240 Lnguge Theory nd Computtion Spring 2019 NFAs nd Regulr Expressions Lst clss: Introduced nondeterministic finite utomt with -trnsitions Tody: Prove n NFA- is no more powerful thn n NFA Introduce
More informationCMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014
CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA
More informationAUTOMATA AND LANGUAGES. Definition 1.5: Finite Automaton
25. Finite Automt AUTOMATA AND LANGUAGES A system of computtion tht only hs finite numer of possile sttes cn e modeled using finite utomton A finite utomton is often illustrted s stte digrm d d d. d q
More informationTypes of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. NFA for (a b)*abb.
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt
More informationLecture 9: LTL and Büchi Automata
Lecture 9: LTL nd Büchi Automt 1 LTL Property Ptterns Quite often the requirements of system follow some simple ptterns. Sometimes we wnt to specify tht property should only hold in certin context, clled
More informationTHE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p
THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS PETE L CLARK Circ 1870, Zolotrev observed tht the Legendre symbol ( p ) cn be interpreted s the sign of multipliction by viewed s permuttion of the set Z/pZ
More informationCompiler Design. Fall Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz
University of Southern Cliforni Computer Science Deprtment Compiler Design Fll Lexicl Anlysis Smple Exercises nd Solutions Prof. Pedro C. Diniz USC / Informtion Sciences Institute 4676 Admirlty Wy, Suite
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationModel Reduction of Finite State Machines by Contraction
Model Reduction of Finite Stte Mchines y Contrction Alessndro Giu Dip. di Ingegneri Elettric ed Elettronic, Università di Cgliri, Pizz d Armi, 09123 Cgliri, Itly Phone: +39-070-675-5892 Fx: +39-070-675-5900
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More informationand that at t = 0 the object is at position 5. Find the position of the object at t = 2.
7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we
More informationClosure Properties of Regular Languages
Closure Properties of Regulr Lnguges Regulr lnguges re closed under mny set opertions. Let L 1 nd L 2 e regulr lnguges. (1) L 1 L 2 (the union) is regulr. (2) L 1 L 2 (the conctention) is regulr. (3) L
More informationa,b a 1 a 2 a 3 a,b 1 a,b a,b 2 3 a,b a,b a 2 a,b CS Determinisitic Finite Automata 1
CS4 45- Determinisitic Finite Automt -: Genertors vs. Checkers Regulr expressions re one wy to specify forml lnguge String Genertor Genertes strings in the lnguge Deterministic Finite Automt (DFA) re nother
More information12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2016
CS125 Lecture 12 Fll 2016 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple
More informationAssignment 1 Automata, Languages, and Computability. 1 Finite State Automata and Regular Languages
Deprtment of Computer Science, Austrlin Ntionl University COMP2600 Forml Methods for Softwre Engineering Semester 2, 206 Assignment Automt, Lnguges, nd Computility Smple Solutions Finite Stte Automt nd
More informationNon-deterministic Finite Automata
Non-deterministic Finite Automt Eliminting non-determinism Rdoud University Nijmegen Non-deterministic Finite Automt H. Geuvers nd T. vn Lrhoven Institute for Computing nd Informtion Sciences Intelligent
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationLecture 09: Myhill-Nerode Theorem
CS 373: Theory of Computtion Mdhusudn Prthsrthy Lecture 09: Myhill-Nerode Theorem 16 Ferury 2010 In this lecture, we will see tht every lnguge hs unique miniml DFA We will see this fct from two perspectives
More informationAdministrivia CSE 190: Reinforcement Learning: An Introduction
Administrivi CSE 190: Reinforcement Lerning: An Introduction Any emil sent to me bout the course should hve CSE 190 in the subject line! Chpter 4: Dynmic Progrmming Acknowledgment: A good number of these
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationThe First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).
The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples
More informationDecidability. Models of Computation 1
Decidbility We investigte the power of lgorithms to solve problems. We demonstrte tht certin problems cn be solved lgorithmiclly nd others cnnot. Our objective is to explore the limits of lgorithmic solvbility.
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationPart 5 out of 5. Automata & languages. A primer on the Theory of Computation. Last week was all about. a superset of Regular Languages
Automt & lnguges A primer on the Theory of Computtion Lurent Vnbever www.vnbever.eu Prt 5 out of 5 ETH Zürich (D-ITET) October, 19 2017 Lst week ws ll bout Context-Free Lnguges Context-Free Lnguges superset
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More informationBernoulli Numbers Jeff Morton
Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationTutorial Automata and formal Languages
Tutoril Automt nd forml Lnguges Notes for to the tutoril in the summer term 2017 Sestin Küpper, Christine Mik 8. August 2017 1 Introduction: Nottions nd sic Definitions At the eginning of the tutoril we
More informationDIRECT CURRENT CIRCUITS
DRECT CURRENT CUTS ELECTRC POWER Consider the circuit shown in the Figure where bttery is connected to resistor R. A positive chrge dq will gin potentil energy s it moves from point to point b through
More information5. (±±) Λ = fw j w is string of even lengthg [ 00 = f11,00g 7. (11 [ 00)± Λ = fw j w egins with either 11 or 00g 8. (0 [ ffl)1 Λ = 01 Λ [ 1 Λ 9.
Regulr Expressions, Pumping Lemm, Right Liner Grmmrs Ling 106 Mrch 25, 2002 1 Regulr Expressions A regulr expression descries or genertes lnguge: it is kind of shorthnd for listing the memers of lnguge.
More informationFormal Language and Automata Theory (CS21004)
Forml Lnguge nd Automt Forml Lnguge nd Automt Theory (CS21004) Khrgpur Khrgpur Khrgpur Forml Lnguge nd Automt Tle of Contents Forml Lnguge nd Automt Khrgpur 1 2 3 Khrgpur Forml Lnguge nd Automt Forml Lnguge
More informationdx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω.
Chpter 8 Stility theory We discuss properties of solutions of first order two dimensionl system, nd stility theory for specil clss of liner systems. We denote the independent vrile y t in plce of x, nd
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationFundamentals of Computer Science
Fundmentls of Computer Science Chpter 3: NFA nd DFA equivlence Regulr expressions Henrik Björklund Umeå University Jnury 23, 2014 NFA nd DFA equivlence As we shll see, it turns out tht NFA nd DFA re equivlent,
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationNFA DFA Example 3 CMSC 330: Organization of Programming Languages. Equivalence of DFAs and NFAs. Equivalence of DFAs and NFAs (cont.
NFA DFA Exmple 3 CMSC 330: Orgniztion of Progrmming Lnguges NFA {B,D,E {A,E {C,D {E Finite Automt, con't. R = { {A,E, {B,D,E, {C,D, {E 2 Equivlence of DFAs nd NFAs Any string from {A to either {D or {CD
More information1.4 Nonregular Languages
74 1.4 Nonregulr Lnguges The number of forml lnguges over ny lphbet (= decision/recognition problems) is uncountble On the other hnd, the number of regulr expressions (= strings) is countble Hence, ll
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationNon-deterministic Finite Automata
Non-deterministic Finite Automt From Regulr Expressions to NFA- Eliminting non-determinism Rdoud University Nijmegen Non-deterministic Finite Automt H. Geuvers nd J. Rot Institute for Computing nd Informtion
More informationC. C^mpenu, K. Slom, S. Yu upper boun of mn. So our result is tight only for incomplete DF's. For restricte vlues of m n n we present exmples of DF's
Journl of utomt, Lnguges n Combintorics u (v) w, x{y c OttovonGuerickeUniversitt Mgeburg Tight lower boun for the stte complexity of shue of regulr lnguges Cezr C^mpenu, Ki Slom Computing n Informtion
More informationKNOWLEDGE-BASED AGENTS INFERENCE
AGENTS THAT REASON LOGICALLY KNOWLEDGE-BASED AGENTS Two components: knowledge bse, nd n inference engine. Declrtive pproch to building n gent. We tell it wht it needs to know, nd It cn sk itself wht to
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationState space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies
Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationA tutorial on sequential functions
A tutoril on sequentil functions Jen-Éric Pin LIAFA, CNRS nd University Pris 7 30 Jnury 2006, CWI, Amsterdm Outline (1) Sequentil functions (2) A chrcteriztion of sequentil trnsducers (3) Miniml sequentil
More informationMath 8 Winter 2015 Applications of Integration
Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl
More informationTREE AUTOMATA AND TREE GRAMMARS
TREE AUTOMATA AND TREE GRAMMARS rxiv:1510.02036v1 [cs.fl] 7 Oct 2015 by Joost Engelfriet DAIMI FN-10 April 1975 Institute of Mthemtics, University of Arhus DEPARTMENT OF COMPUTER SCIENCE Ny Munkegde, 8000
More informationarxiv: v1 [math.ca] 11 Jul 2011
rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More information1 Structural induction
Discrete Structures Prelim 2 smple questions Solutions CS2800 Questions selected for Spring 2018 1 Structurl induction 1. We define set S of functions from Z to Z inductively s follows: Rule 1. For ny
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationContinuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht
More informationCS 275 Automata and Formal Language Theory
CS 275 Automt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Problem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) Anton Setzer (Bsed on book drft by J. V. Tucker nd K. Stephenson)
More informationCS:4330 Theory of Computation Spring Regular Languages. Equivalences between Finite automata and REs. Haniel Barbosa
CS:4330 Theory of Computtion Spring 208 Regulr Lnguges Equivlences between Finite utomt nd REs Hniel Brbos Redings for this lecture Chpter of [Sipser 996], 3rd edition. Section.3. Finite utomt nd regulr
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
More informationSelf-similarity and symmetries of Pascal s triangles and simplices mod p
Sn Jose Stte University SJSU ScholrWorks Fculty Publictions Mthemtics nd Sttistics Februry 2004 Self-similrity nd symmetries of Pscl s tringles nd simplices mod p Richrd P. Kubelk Sn Jose Stte University,
More informationTuring Machines Part One
Turing Mchines Prt One Hello Hello Condensed Condensed Slide Slide Reders! Reders! Tody s Tody s lecture lecture consists consists lmost lmost exclusively exclusively of of nimtions nimtions of of Turing
More informationAnatomy of a Deterministic Finite Automaton. Deterministic Finite Automata. A machine so simple that you can understand it in less than one minute
Victor Admchik Dnny Sletor Gret Theoreticl Ides In Computer Science CS 5-25 Spring 2 Lecture 2 Mr 3, 2 Crnegie Mellon University Deterministic Finite Automt Finite Automt A mchine so simple tht you cn
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More
More informationPART 2. REGULAR LANGUAGES, GRAMMARS AND AUTOMATA
PART 2. REGULAR LANGUAGES, GRAMMARS AND AUTOMATA RIGHT LINEAR LANGUAGES. Right Liner Grmmr: Rules of the form: A α B, A α A,B V N, α V T + Left Liner Grmmr: Rules of the form: A Bα, A α A,B V N, α V T
More informationLecture 3: Equivalence Relations
Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts
More informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
More informationMath Advanced Calculus II
Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More information