Valence automata as a generalization of automata with storage
|
|
- Mabel Bishop
- 5 years ago
- Views:
Transcription
1 Valence automata as a generalization of automata with storage Georg Zetzsche Technische Universität Kaiserslautern D-CON 2013 Georg Zetzsche (TU KL) Valence automata D-CON / 23
2 Example (Pushdown automaton) a, λ, A a, A, λ q 0 λ, λ, λ q 1 b, λ, B b, B, λ Georg Zetzsche (TU KL) Valence automata D-CON / 23
3 Example (Pushdown automaton) a, λ, A a, A, λ q 0 λ, λ, λ q 1 L tww rev w P ta, bu u b, λ, B b, B, λ Georg Zetzsche (TU KL) Valence automata D-CON / 23
4 Example (Pushdown automaton) a, λ, A a, A, λ q 0 λ, λ, λ q 1 L tww rev w P ta, bu u b, λ, B b, B, λ Example (Blind counter automaton) a, 1, 0 b, 0, 1 c, 1, 1 λ, 0, 0 λ, 0, 0 q 0 q 1 q 2 Georg Zetzsche (TU KL) Valence automata D-CON / 23
5 Example (Pushdown automaton) a, λ, A a, A, λ q 0 λ, λ, λ q 1 L tww rev w P ta, bu u b, λ, B b, B, λ Example (Blind counter automaton) a, 1, 0 b, 0, 1 c, 1, 1 λ, 0, 0 λ, 0, 0 q 0 q 1 q 2 L ta n b n c n n ě 0u Georg Zetzsche (TU KL) Valence automata D-CON / 23
6 Example (Partially blind counter automaton) a, 1 q 0 λ, 0 λ, 1 q 1 b, 1 L tw P ta, bu p a ě p b for any prefix p of wu Georg Zetzsche (TU KL) Valence automata D-CON / 23
7 Automata models that extend finite automata by some storage mechanism: Pushdown automata Blind counter automata Partially blind counter automata Turing machines Georg Zetzsche (TU KL) Valence automata D-CON / 23
8 Automata models that extend finite automata by some storage mechanism: Pushdown automata Blind counter automata Partially blind counter automata Turing machines Each storage mechanism consists of: States: set S of states Operations: partial maps α 1,..., α n : S Ñ S Georg Zetzsche (TU KL) Valence automata D-CON / 23
9 Model States Operations Pushdown automata S Γ push a :w ÞÑ wa, a P Γ pop a :wa ÞÑ w, a P Γ Georg Zetzsche (TU KL) Valence automata D-CON / 23
10 Model States Operations Pushdown automata S Γ push a :w ÞÑ wa, a P Γ pop a :wa ÞÑ w, a P Γ Blind counter automata S Z n inc i :px 1,..., x n q ÞÑ px 1,..., x i ` 1,..., x n q dec i :px 1,..., x n q ÞÑ px 1,..., x i 1,..., x n q Georg Zetzsche (TU KL) Valence automata D-CON / 23
11 Model States Operations Pushdown automata S Γ push a :w ÞÑ wa, a P Γ pop a :wa ÞÑ w, a P Γ Blind counter automata Partially blind counter automata S Z n S N n inc i :px 1,..., x n q ÞÑ px 1,..., x i ` 1,..., x n q dec i :px 1,..., x n q ÞÑ px 1,..., x i 1,..., x n q inc i :px 1,..., x n q ÞÑ px 1,..., x i ` 1,..., x n q dec i :px 1,..., x n q ÞÑ px 1,..., x i 1,..., x n q Georg Zetzsche (TU KL) Valence automata D-CON / 23
12 Model States Operations Pushdown automata S Γ push a :w ÞÑ wa, a P Γ pop a :wa ÞÑ w, a P Γ Blind counter automata Partially blind counter automata S Z n S N n inc i :px 1,..., x n q ÞÑ px 1,..., x i ` 1,..., x n q dec i :px 1,..., x n q ÞÑ px 1,..., x i 1,..., x n q inc i :px 1,..., x n q ÞÑ px 1,..., x i ` 1,..., x n q dec i :px 1,..., x n q ÞÑ px 1,..., x i 1,..., x n q Observation Here, a sequence β 1,..., β k of operations is valid if and only if β 1 β k id Georg Zetzsche (TU KL) Valence automata D-CON / 23
13 Definition A monoid is a set M together with an associative binary operation : M ˆ M Ñ M and a neutral element 1 P M (a1 1a a for any a P M). Georg Zetzsche (TU KL) Valence automata D-CON / 23
14 Definition A monoid is a set M together with an associative binary operation : M ˆ M Ñ M and a neutral element 1 P M (a1 1a a for any a P M). Storage mechanisms as monoids Let S be a set of states and α 1,..., α n : S Ñ S partial maps. The set of all compositions of α 1,..., α n is a monoid M. The identity map is the neutral element of M. M is a decription of the storage mechanism. Georg Zetzsche (TU KL) Valence automata D-CON / 23
15 Valence automata Common generalization: Valence Automata Valence automaton over M: Finite automaton with edges p w m ÝÝÑq, w P Σ, m P M. Georg Zetzsche (TU KL) Valence automata D-CON / 23
16 Valence automata Common generalization: Valence Automata Valence automaton over M: Finite automaton with edges p w m ÝÝÑq, w P Σ, m P M. w 1 m 1 w 2 m 2 w n m n Run q 0ÝÝÝÑq1 ÝÝÝÑ ÝÝÝÑq n is accepting for w 1 w n if q 0 is the initial state, qn is a final state, and Georg Zetzsche (TU KL) Valence automata D-CON / 23
17 Valence automata Common generalization: Valence Automata Valence automaton over M: Finite automaton with edges p w m ÝÝÑq, w P Σ, m P M. w 1 m 1 w 2 m 2 w n m n Run q 0ÝÝÝÑq1 ÝÝÝÑ ÝÝÝÑq n is accepting for w 1 w n if q 0 is the initial state, qn is a final state, and m1 m n 1. Georg Zetzsche (TU KL) Valence automata D-CON / 23
18 Classical results can now be generalized: Questions Which storage mechanisms increase the expressive power? Georg Zetzsche (TU KL) Valence automata D-CON / 23
19 Classical results can now be generalized: Questions Which storage mechanisms increase the expressive power? For which storage mechanisms can we determinize? Georg Zetzsche (TU KL) Valence automata D-CON / 23
20 Classical results can now be generalized: Questions Which storage mechanisms increase the expressive power? For which storage mechanisms can we determinize? For which can we avoid silent transitions? Georg Zetzsche (TU KL) Valence automata D-CON / 23
21 Classical results can now be generalized: Questions Which storage mechanisms increase the expressive power? For which storage mechanisms can we determinize? For which can we avoid silent transitions? For which do we have a Parikh theorem? Georg Zetzsche (TU KL) Valence automata D-CON / 23
22 Classical results can now be generalized: Questions Which storage mechanisms increase the expressive power? For which storage mechanisms can we determinize? For which can we avoid silent transitions? For which do we have a Parikh theorem? For which can we compute the downward closure? Georg Zetzsche (TU KL) Valence automata D-CON / 23
23 Classical results can now be generalized: Questions Which storage mechanisms increase the expressive power? For which storage mechanisms can we determinize? For which can we avoid silent transitions? For which do we have a Parikh theorem? For which can we compute the downward closure? For which can we decide, for example, emptiness? Georg Zetzsche (TU KL) Valence automata D-CON / 23
24 Classical results can now be generalized: Questions Which storage mechanisms increase the expressive power? For which storage mechanisms can we determinize? For which can we avoid silent transitions? For which do we have a Parikh theorem? For which can we compute the downward closure? For which can we decide, for example, emptiness? Georg Zetzsche (TU KL) Valence automata D-CON / 23
25 Deterministic valence automata A valence automaton is called deterministic, if Georg Zetzsche (TU KL) Valence automata D-CON / 23
26 Deterministic valence automata A valence automaton is called deterministic, if every edge is of the form p a m ÝÝÑq with a P Σ. Georg Zetzsche (TU KL) Valence automata D-CON / 23
27 Deterministic valence automata A valence automaton is called deterministic, if every edge is of the form p a m ÝÝÑq with a P Σ. for each state p P Q and each letter a P Σ, there is at most one edge pýýñq a m for some m P M, q P Q. Georg Zetzsche (TU KL) Valence automata D-CON / 23
28 Deterministic valence automata A valence automaton is called deterministic, if every edge is of the form p a m ÝÝÑq with a P Σ. for each state p P Q and each letter a P Σ, there is at most one edge pýýñq a m for some m P M, q P Q. detvapmq languages accepted by deterministic valence automata over M. Georg Zetzsche (TU KL) Valence automata D-CON / 23
29 Questions When does VApMq contain non-regular languages? When does detvapmq VApMq? Georg Zetzsche (TU KL) Valence automata D-CON / 23
30 Questions When does VApMq contain non-regular languages? When does detvapmq VApMq? Theorem The following statements are equivalent: 1 VApMq REG. 2 detvapmq VApMq. 3 Every finitely generated submonoid of M possesses only finitely many right-invertible elements. Georg Zetzsche (TU KL) Valence automata D-CON / 23
31 Questions When does VApMq contain non-regular languages? When does detvapmq VApMq? Theorem The following statements are equivalent: 1 VApMq REG. 2 detvapmq VApMq. 3 Every finitely generated submonoid of M possesses only finitely many right-invertible elements. (1) ô (3) has been shown independently by Elaine Render in Georg Zetzsche (TU KL) Valence automata D-CON / 23
32 RpMq tx P M Dy P M : xy 1u Rpxq ty P M xy 1u Georg Zetzsche (TU KL) Valence automata D-CON / 23
33 RpMq tx P M Dy P M : xy 1u LpMq tx P M Dy P M : yx 1u Rpxq ty P M xy 1u Lpxq ty P M yx 1u Georg Zetzsche (TU KL) Valence automata D-CON / 23
34 RpMq tx P M Dy P M : xy 1u LpMq tx P M Dy P M : yx 1u Rpxq ty P M xy 1u Lpxq ty P M yx 1u JpMq tx P M Dy, z P M : yxz 1u Georg Zetzsche (TU KL) Valence automata D-CON / 23
35 RpMq tx P M Dy P M : xy 1u LpMq tx P M Dy P M : yx 1u Rpxq ty P M xy 1u Lpxq ty P M yx 1u JpMq tx P M Dy, z P M : yxz 1u Lemma (Dichotomy) For each monoid M, exactly one of the following holds: 1 RpMq LpMq JpMq is a finite group. 2 There are infinite subsets S Ď RpMq, S 1 Ď LpMq such that Rpsq X Rptq H for any s, t P S and Lpsq X Lptq H for any s, t P S 1. Georg Zetzsche (TU KL) Valence automata D-CON / 23
36 Silent transitions Definition Transitions p λ m ÝÝÑq are called silent or λ-transitions. Georg Zetzsche (TU KL) Valence automata D-CON / 23
37 Silent transitions Definition Transitions p λ m ÝÝÑq are called silent or λ-transitions. VA`pMq Languages accepted without λ-transitions. Georg Zetzsche (TU KL) Valence automata D-CON / 23
38 Silent transitions Definition Transitions p λ m ÝÝÑq are called silent or λ-transitions. VA`pMq Languages accepted without λ-transitions. Important problem When can λ-transitions be eliminated? Without λ-transitions, decide membership using exponential number of queries to the word problem. Elimination can be regarded as a precomputation. Georg Zetzsche (TU KL) Valence automata D-CON / 23
39 Monoids defined by graphs By graphs, we mean undirected graphs with loops allowed. Georg Zetzsche (TU KL) Valence automata D-CON / 23
40 Monoids defined by graphs By graphs, we mean undirected graphs with loops allowed. Notation B: monoid for partially blind counter Z: monoid for blind counter, i.e. the group of integers Georg Zetzsche (TU KL) Valence automata D-CON / 23
41 Monoids defined by graphs By graphs, we mean undirected graphs with loops allowed. Notation B: monoid for partially blind counter Z: monoid for blind counter, i.e. the group of integers Intuition To each graph Γ, we associate a monoid MΓ: For each unlooped vertex, we have a copy of B For each looped vertex, we have a copy of Z MΓ consists of sequences of such elements An edge between vertices means that elements can commute Georg Zetzsche (TU KL) Valence automata D-CON / 23
42 Examples Georg Zetzsche (TU KL) Valence automata D-CON / 23
43 Examples Z 3 Georg Zetzsche (TU KL) Valence automata D-CON / 23
44 Examples Z 3 Blind multicounter Georg Zetzsche (TU KL) Valence automata D-CON / 23
45 Examples Z 3 Blind multicounter Georg Zetzsche (TU KL) Valence automata D-CON / 23
46 Examples Z 3 B B B Blind multicounter Georg Zetzsche (TU KL) Valence automata D-CON / 23
47 Examples Z 3 B B B Blind multicounter Pushdown Georg Zetzsche (TU KL) Valence automata D-CON / 23
48 Examples Z 3 B B B Blind multicounter Pushdown Georg Zetzsche (TU KL) Valence automata D-CON / 23
49 Examples Z 3 B B B Blind multicounter Pushdown B 3 Georg Zetzsche (TU KL) Valence automata D-CON / 23
50 Examples Z 3 B B B Blind multicounter Pushdown B 3 Partially blind multicounter Georg Zetzsche (TU KL) Valence automata D-CON / 23
51 Examples Z 3 B B B Blind multicounter Pushdown B 3 Partially blind multicounter Georg Zetzsche (TU KL) Valence automata D-CON / 23
52 Examples Z 3 B B B Blind multicounter Pushdown B 3 Partially blind multicounter Georg Zetzsche (TU KL) Valence automata D-CON / 23
53 Examples Z 3 B B B Blind multicounter Pushdown B 3 pb Bq ˆ pb Bq Partially blind multicounter Georg Zetzsche (TU KL) Valence automata D-CON / 23
54 Examples Z 3 B B B Blind multicounter Pushdown B 3 pb Bq ˆ pb Bq Partially blind multicounter Infinite tape (TM) Georg Zetzsche (TU KL) Valence automata D-CON / 23
55 Examples Z 3 B B B Blind multicounter Pushdown B 3 pb Bq ˆ pb Bq Partially blind multicounter Infinite tape (TM) Georg Zetzsche (TU KL) Valence automata D-CON / 23
56 Examples Z 3 B B B Blind multicounter Pushdown B 3 pb Bq ˆ pb Bq Partially blind multicounter Infinite tape (TM) Georg Zetzsche (TU KL) Valence automata D-CON / 23
57 Examples Z 3 B B B Blind multicounter Pushdown B 3 pb Bq ˆ pb Bq Partially blind multicounter Infinite tape (TM) Georg Zetzsche (TU KL) Valence automata D-CON / 23
58 Examples Z 3 B B B Blind multicounter Pushdown B 3 pb Bq ˆ pb Bq Partially blind multicounter Infinite tape (TM) Georg Zetzsche (TU KL) Valence automata D-CON / 23
59 Theorem Let Γ be a graph such that between any two looped vertices, there is an edge and between any two unlooped vertices, there is no edge. Georg Zetzsche (TU KL) Valence automata D-CON / 23
60 Theorem Let Γ be a graph such that between any two looped vertices, there is an edge and between any two unlooped vertices, there is no edge. Georg Zetzsche (TU KL) Valence automata D-CON / 23
61 Theorem Let Γ be a graph such that between any two looped vertices, there is an edge and between any two unlooped vertices, there is no edge. Then VApMΓq VA`pMΓq if and only if Γ does not contain as an induced subgraph. Georg Zetzsche (TU KL) Valence automata D-CON / 23
62 Theorem Let Γ be a graph such that between any two looped vertices, there is an edge and between any two unlooped vertices, there is no edge. Then VApMΓq VA`pMΓq if and only if Γ does not contain as an induced subgraph. Georg Zetzsche (TU KL) Valence automata D-CON / 23
63 By reduction to an undecidable problem from group theory, we obtain: Lemma Let Γ be a graph with as an induced subgraph. Then VApMΓq contains an undecidable language. Hence, VA`pMΓq Ĺ VApMΓq. Georg Zetzsche (TU KL) Valence automata D-CON / 23
64 Definition Let C be the smallest class of monoids such that 1 P C if M P C, then M ˆ Z P C if M P C, then M B P C Georg Zetzsche (TU KL) Valence automata D-CON / 23
65 Definition Let C be the smallest class of monoids such that 1 P C if M P C, then M ˆ Z P C if M P C, then M B P C Lemma Let Γ be a graph such that between any two looped vertices, there is an edge between any two unlooped vertices, there is no edge Then, MΓ P C. does not appear as an induced subgraph Georg Zetzsche (TU KL) Valence automata D-CON / 23
66 Definition Let C be the smallest class of monoids such that 1 P C if M P C, then M ˆ Z P C if M P C, then M B P C Interpretation of C C corresponds to the class of storage mechanisms obtained by adding a blind counter (M ˆ Z) and building stacks (M B). Georg Zetzsche (TU KL) Valence automata D-CON / 23
67 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U Georg Zetzsche (TU KL) Valence automata D-CON / 23
68 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U and for x, y P L : x ď y iff νpxq Ď νpyq. Georg Zetzsche (TU KL) Valence automata D-CON / 23
69 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U and for x, y P L : x ď y iff νpxq Ď νpyq. Since is not an induced subgraph, ď is a total preorder. Georg Zetzsche (TU KL) Valence automata D-CON / 23
70 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U and for x, y P L : x ď y iff νpxq Ď νpyq. Since is not an induced subgraph, ď is a total preorder. Let m P L be maximal. Georg Zetzsche (TU KL) Valence automata D-CON / 23
71 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U and for x, y P L : x ď y iff νpxq Ď νpyq. Since is not an induced subgraph, ď is a total preorder. Let m P L be maximal. If νpmq U, then Γ pγztmuq ˆ m. Georg Zetzsche (TU KL) Valence automata D-CON / 23
72 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U and for x, y P L : x ď y iff νpxq Ď νpyq. Since is not an induced subgraph, ď is a total preorder. Let m P L be maximal. If νpmq U, then Γ pγztmuq ˆ m. MΓ MpΓztmuq ˆ Z. Georg Zetzsche (TU KL) Valence automata D-CON / 23
73 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U and for x, y P L : x ď y iff νpxq Ď νpyq. Since is not an induced subgraph, ď is a total preorder. Let m P L be maximal. If νpmq U, then Γ pγztmuq ˆ m. MΓ MpΓztmuq ˆ Z. If νpmq Ĺ U, then Γ pγztuuq u for some u P U. Georg Zetzsche (TU KL) Valence automata D-CON / 23
74 Proof. Let Γ pv, Eq, V L Y U, looped and unlooped vertices. For each x P L, let νpxq Npxq X U and Since Let m P L be maximal. for x, y P L : x ď y iff νpxq Ď νpyq. is not an induced subgraph, ď is a total preorder. If νpmq U, then Γ pγztmuq ˆ m. MΓ MpΓztmuq ˆ Z. If νpmq Ĺ U, then Γ pγztuuq u for some u P U. MΓ MpΓztuuq B. Georg Zetzsche (TU KL) Valence automata D-CON / 23
75 Elimination of λ-transitions Definition A subset S Ď M is called rational if it is the homomorphic image of a regular language. Elimination of λ-transitions Approach: Between a given pair of non-λ-transitions, the set of x P M applied in between is a rational set. Transform the automaton so as to simulate the application of a rational set in one step. Georg Zetzsche (TU KL) Valence automata D-CON / 23
76 Proof ingredients Ingredients Semilinearity of languages in VApMΓq Normal form for rational subsets of MΓ Construction for VA`pMΓq VApMΓq Actual construction quite involved. Stronger claim to make induction work. Separate constructions for B, M ˆ Z, and M B. Representations of rational sets are encoded into the state or the monoid elements. Georg Zetzsche (TU KL) Valence automata D-CON / 23
77 Theorem Let Γ be a graph such that between any two distinct vertices, there is an edge. Georg Zetzsche (TU KL) Valence automata D-CON / 23
78 Theorem Let Γ be a graph such that between any two distinct vertices, there is an edge. Georg Zetzsche (TU KL) Valence automata D-CON / 23
79 Theorem Let Γ be a graph such that between any two distinct vertices, there is an edge. Then VApMΓq VA`pMΓq if and only if the number of unlooped nodes is ď 1. Georg Zetzsche (TU KL) Valence automata D-CON / 23
80 Theorem Let Γ be a graph such that between any two distinct vertices, there is an edge. Then VApMΓq VA`pMΓq if and only if the number of unlooped nodes is ď 1. Georg Zetzsche (TU KL) Valence automata D-CON / 23
81 Theorem Let Γ be a graph such that between any two distinct vertices, there is an edge. Then VApMΓq VA`pMΓq if and only if the number of unlooped nodes is ď 1. In other words: VApB r ˆ Z s q VA`pB r ˆ Z s q iff r ď 1. Georg Zetzsche (TU KL) Valence automata D-CON / 23
82 Theorem Let Γ be a graph such that between any two distinct vertices, there is an edge. Then VApMΓq VA`pMΓq if and only if the number of unlooped nodes is ď 1. In other words: VApB r ˆ Z s q VA`pB r ˆ Z s q iff r ď 1. Observation VApB ˆ Z s q VA`pB ˆ Z s q already follows from the first theorem. Georg Zetzsche (TU KL) Valence automata D-CON / 23
83 More classical results can be generalized: Work in Progress For which storage mechanisms do we have a Parikh theorem? Georg Zetzsche (TU KL) Valence automata D-CON / 23
84 More classical results can be generalized: Work in Progress For which storage mechanisms do we have a Parikh theorem? For which can we perform model checking? Georg Zetzsche (TU KL) Valence automata D-CON / 23
85 More classical results can be generalized: Work in Progress For which storage mechanisms do we have a Parikh theorem? For which can we perform model checking? For which can we compute the downward closure? Georg Zetzsche (TU KL) Valence automata D-CON / 23
The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets
The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets Georg Zetzsche Technische Universität Kaiserslautern Reachability Problems 2015 Georg Zetzsche (TU KL) Emptiness
More informationThe Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets
The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets Georg Zetzsche Concurrency Theory Group Fachbereich Informatik Technische Universität Kaiserslautern zetzsche@cs.uni-kl.de
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 informationModels of Computation. by Costas Busch, LSU
Models of Computation by Costas Busch, LSU 1 Computation CPU memory 2 temporary memory input memory CPU output memory Program memory 3 Example: f ( x) x 3 temporary memory input memory Program memory compute
More informationIntroduction to Languages and Computation
Introduction to Languages and Computation George Voutsadakis 1 1 Mathematics and Computer Science Lake Superior State University LSSU Math 400 George Voutsadakis (LSSU) Languages and Computation July 2014
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 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 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 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 informationHomework 8. a b b a b a b. two-way, read/write
Homework 8 309 Homework 8 1. Describe a TM that accepts the set {a n n is a power of 2}. Your description should be at the level of the descriptions in Lecture 29 of the TM that accepts {ww w Σ } and the
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2017 http://cseweb.ucsd.edu/classes/sp17/cse105-ab/ Today's learning goals Summarize key concepts, ideas, themes from CSE 105. Approach your final exam studying with
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 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 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 informationIntroduction to computability Tutorial 7
Introduction to computability Tutorial 7 Context free languages and Turing machines November 6 th 2014 Context-free languages 1. Show that the following languages are not context-free: a) L ta i b j a
More informationComplexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler
Complexity Theory Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 15 May, 2018 Reinhard
More informationACS2: Decidability Decidability
Decidability Bernhard Nebel and Christian Becker-Asano 1 Overview An investigation into the solvable/decidable Decidable languages The halting problem (undecidable) 2 Decidable problems? Acceptance problem
More informationOutline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.
Complexity Theory Complexity Theory Outline Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität
More informationCP405 Theory of Computation
CP405 Theory of Computation BB(3) q 0 q 1 q 2 0 q 1 1R q 2 0R q 2 1L 1 H1R q 1 1R q 0 1L Growing Fast BB(3) = 6 BB(4) = 13 BB(5) = 4098 BB(6) = 3.515 x 10 18267 (known) (known) (possible) (possible) Language:
More informationTHEORY OF COMPUTATION (AUBER) EXAM CRIB SHEET
THEORY OF COMPUTATION (AUBER) EXAM CRIB SHEET Regular Languages and FA A language is a set of strings over a finite alphabet Σ. All languages are finite or countably infinite. The set of all languages
More informationWarmup Recall, a group H is cyclic if H can be generated by a single element. In other words, there is some element x P H for which Multiplicative
Warmup Recall, a group H is cyclic if H can be generated by a single element. In other words, there is some element x P H for which Multiplicative notation: H tx l l P Zu xxy, Additive notation: H tlx
More informationDecidability. Linz 6 th, Chapter 12: Limits of Algorithmic Computation, page 309ff
Decidability Linz 6 th, Chapter 12: Limits of Algorithmic Computation, page 309ff 1 A property P of strings is said to be decidable if the set of all strings having property P is a recursive set; that
More informationTheory of Computation (IX) Yijia Chen Fudan University
Theory of Computation (IX) Yijia Chen Fudan University Review The Definition of Algorithm Polynomials and their roots A polynomial is a sum of terms, where each term is a product of certain variables and
More informationOn the Accepting Power of 2-Tape Büchi Automata
On the Accepting Power of 2-Tape Büchi Automata Equipe de Logique Mathématique Université Paris 7 STACS 2006 Acceptance of infinite words In the sixties, Acceptance of infinite words by finite automata
More informationRATIONAL MONOID AND SEMIGROUP AUTOMATA
RATIONAL MONOID AND SEMIGROUP AUTOMATA A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences 2010 Elaine L. Render
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 informationDM17. Beregnelighed. Jacob Aae Mikkelsen
DM17 Beregnelighed Jacob Aae Mikkelsen January 12, 2007 CONTENTS Contents 1 Introduction 2 1.1 Operations with languages...................... 2 2 Finite Automata 3 2.1 Regular expressions/languages....................
More informationTuring machines Finite automaton no storage Pushdown automaton storage is a stack What if we give the automaton a more flexible storage?
Turing machines Finite automaton no storage Pushdown automaton storage is a stack What if we give the automaton a more flexible storage? What is the most powerful of automata? In this lecture we will introduce
More informationarxiv:math/ v2 [math.gr] 19 Oct 2007
FORMAL LANGUAGES AND GROUPS AS MEMORY Mark Kambites arxiv:math/0601061v2 [math.gr] 19 Oct 2007 School of Mathematics, University of Manchester Manchester M60 1QD, England Mark.Kambites@manchester.ac.uk
More informationarxiv:math/ v1 [math.gr] 8 Nov 2004
arxiv:math/0411166v1 [math.gr] 8 Nov 2004 CONTEXT-FREE ND 1-COUNTER GEODESIC LNGUGE FOR BUMSLG-SOLITR GROUP MURRY ELDER bstract. We give a language of unique geodesic normal forms for the Baumslag- Solitar
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 informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
15-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY THURSDAY APRIL 3 REVIEW for Midterm TUESDAY April 8 Definition: A Turing Machine is a 7-tuple T = (Q, Σ, Γ, δ, q, q accept, q reject ), where: Q is a
More informationFinal Exam Comments. UVa - cs302: Theory of Computation Spring < Total
UVa - cs302: Theory of Computation Spring 2008 Final Exam Comments < 50 50 59 60 69 70 79 80 89 90 94 95-102 Total 2 6 8 22 16 16 12 Problem 1: Short Answers. (20) For each question, provide a correct,
More informationP is the class of problems for which there are algorithms that solve the problem in time O(n k ) for some constant k.
Complexity Theory Problems are divided into complexity classes. Informally: So far in this course, almost all algorithms had polynomial running time, i.e., on inputs of size n, worst-case running time
More informationarxiv: v1 [cs.fl] 8 Jan 2019
Languages ordered by the subword order Dietrich Kuske TU Ilmenau, Germany dietrich.kuske@tu-ilmenau.de Georg Zetzsche MPI-SWS, Germany georg@mpi-sws.org arxiv:1901.02194v1 [cs.fl] 8 Jan 2019 Abstract We
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 informationFinal exam study sheet for CS3719 Turing machines and decidability.
Final exam study sheet for CS3719 Turing machines and decidability. A Turing machine is a finite automaton with an infinite memory (tape). Formally, a Turing machine is a 6-tuple M = (Q, Σ, Γ, δ, q 0,
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 informationThe Rational Subset Membership Problem for Groups: A Survey
The Rational Subset Membership Problem for Groups: A Survey Markus Lohrey University of Siegen December 18, 2013 Abstract The class of rational subsets of a group G is the smallest class that contains
More informationEquivalent Variations of Turing Machines
Equivalent Variations of Turing Machines Nondeterministic TM = deterministic TM npda = pushdown automata with n stacks 2PDA = npda = TM for all n 2 Turing machines with n tapes (n 2) and n tape heads has
More informationRational subsets and submonoids of wreath products
Rational subsets and submonoids of wreath products Markus Lohrey 1, Benjamin Steinberg 2, and Georg Zetzsche 3 1 Universität Leipzig, Institut für Informatik 2 City College of New York, Department of Mathematics
More informationPARALLEL COMMUNICATING FLIP PUSHDOWN AUTOMATA SYSTEMS COMMUNICATING BY STACKS
International Journal of Computer Engineering and Technology (IJCET), ISSN 0976 6367(Print) ISSN 0976 6375(Online) Volume 1 Number 1, May - June (2010), pp. 34-45 IAEME, http://www.iaeme.com/ijcet.html
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 informationPushdown Automata. We have seen examples of context-free languages that are not regular, and hence can not be recognized by finite automata.
Pushdown Automata We have seen examples of context-free languages that are not regular, and hence can not be recognized by finite automata. Next we consider a more powerful computation model, called a
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 informationCovering of ordinals
Covering of ordinals Laurent Braud IGM, Univ. Paris-Est Liafa, 8 January 2010 Laurent Braud (IGM, Univ. Paris-Est) Covering of ordinals Liafa, 8 January 2010 1 / 27 1 Covering graphs Ordinals MSO logic
More informationThe submonoid and rational subset membership problems for graph groups
The submonoid and rational subset membership problems for graph groups Markus Lohrey 1 and Benjamin Steinberg 2, 1 Universität Stuttgart, FMI, Germany 2 School of Mathematics and Statistics, Carleton University,
More informationLecture 18: PCP Theorem and Hardness of Approximation I
Lecture 18: and Hardness of Approximation I Arijit Bishnu 26.04.2010 Outline 1 Introduction to Approximation Algorithm 2 Outline 1 Introduction to Approximation Algorithm 2 Approximation Algorithm Approximation
More informationTheory of computation: initial remarks (Chapter 11)
Theory of computation: initial remarks (Chapter 11) For many purposes, computation is elegantly modeled with simple mathematical objects: Turing machines, finite automata, pushdown automata, and such.
More informationComputability Theory
CS:4330 Theory of Computation Spring 2018 Computability Theory Decidable Languages Haniel Barbosa Readings for this lecture Chapter 4 of [Sipser 1996], 3rd edition. Section 4.1. Decidable Languages We
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2016 http://cseweb.ucsd.edu/classes/sp16/cse105-ab/ Today's learning goals Sipser Ch 3.3, 4.1 State and use the Church-Turing thesis. Give examples of decidable problems.
More informationCS481F01 Solutions 6 PDAS
CS481F01 Solutions 6 PDAS A. Demers 2 November 2001 1. Give a NPDAs that recognize the following languages: (a) The set of all strings in {0, 1} that contain twice as many 1s as 0s. (answer a) We build
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 informationNOTES ON AUTOMATA. Date: April 29,
NOTES ON AUTOMATA 1. Monoids acting on sets We say that a monoid S with identity element ɛ acts on a set Q if q(st) = (qs)t and qɛ = q. As with groups, if we set s = t whenever qs = qt for all q Q, then
More informationCpSc 421 Final Exam December 6, 2008
CpSc 421 Final Exam December 6, 2008 Do any five of problems 1-10. If you attempt more than five of problems 1-10, please indicate which ones you want graded otherwise, I ll make an arbitrary choice. Graded
More informationWhat languages are Turing-decidable? What languages are not Turing-decidable? Is there a language that isn t even Turingrecognizable?
} We ll now take a look at Turing Machines at a high level and consider what types of problems can be solved algorithmically and what types can t: What languages are Turing-decidable? What languages are
More information4.2 The Halting Problem
172 4.2 The Halting Problem The technique of diagonalization was discovered in 1873 by Georg Cantor who was concerned with the problem of measuring the sizes of infinite sets For finite sets we can simply
More informationRegularity Problems for Visibly Pushdown Languages
Regularity Problems for Visibly Pushdown Languages Vince Bárány 1, Christof Löding 1, and Olivier Serre 2 1 RWTH Aachen, Germany 2 LIAFA, Université Paris VII & CNRS, France Abstract. Visibly pushdown
More informationAutomata Theory - Quiz II (Solutions)
Automata Theory - Quiz II (Solutions) K. Subramani LCSEE, West Virginia University, Morgantown, WV {ksmani@csee.wvu.edu} 1 Problems 1. Induction: Let L denote the language of balanced strings over Σ =
More informationReachability in Petri nets with Inhibitor arcs
Reachability in Petri nets with Inhibitor arcs Klaus Reinhardt Universität Tübingen reinhard@informatik.uni-tuebingen.de Overview Multisets, New operators Q and Q on multisets, Semilinearity Petri nets,
More informationAutomata Theory for Presburger Arithmetic Logic
Automata Theory for Presburger Arithmetic Logic References from Introduction to Automata Theory, Languages & Computation and Constraints in Computational Logic Theory & Application Presented by Masood
More informationPushdown Automata. Notes on Automata and Theory of Computation. Chia-Ping Chen
Pushdown Automata Notes on Automata and Theory of Computation Chia-Ping Chen Department of Computer Science and Engineering National Sun Yat-Sen University Kaohsiung, Taiwan ROC Pushdown Automata p. 1
More informationSome hierarchies for the communication complexity measures of cooperating grammar systems
Some hierarchies for the communication complexity measures of cooperating grammar systems Juraj Hromkovic 1, Jarkko Kari 2, Lila Kari 2 June 14, 2010 Abstract We investigate here the descriptional and
More informationMTAT Complexity Theory October 13th-14th, Lecture 6
MTAT.07.004 Complexity Theory October 13th-14th, 2011 Lecturer: Peeter Laud Lecture 6 Scribe(s): Riivo Talviste 1 Logarithmic memory Turing machines working in logarithmic space become interesting when
More informationClosure Properties of Regular Languages. Union, Intersection, Difference, Concatenation, Kleene Closure, Reversal, Homomorphism, Inverse Homomorphism
Closure Properties of Regular Languages Union, Intersection, Difference, Concatenation, Kleene Closure, Reversal, Homomorphism, Inverse Homomorphism Closure Properties Recall a closure property is a statement
More informationComputability and Complexity
Computability and Complexity Push-Down Automata CAS 705 Ryszard Janicki Department of Computing and Software McMaster University Hamilton, Ontario, Canada janicki@mcmaster.ca Ryszard Janicki Computability
More informationFoundations of Informatics: a Bridging Course
Foundations of Informatics: a Bridging Course Week 3: Formal Languages and Semantics Thomas Noll Lehrstuhl für Informatik 2 RWTH Aachen University noll@cs.rwth-aachen.de http://www.b-it-center.de/wob/en/view/class211_id948.html
More informationNPDA, CFG equivalence
NPDA, CFG equivalence Theorem A language L is recognized by a NPDA iff L is described by a CFG. Must prove two directions: ( ) L is recognized by a NPDA implies L is described by a CFG. ( ) L is described
More informationUnary Automatic Graphs: An Algorithmic Perspective 1
Unary Automatic Graphs: An Algorithmic Perspective 1 This paper studies infinite graphs produced from a natural unfolding operation applied to finite graphs. Graphs produced via such operations are of
More informationTheory of Computation p.1/?? Theory of Computation p.2/?? We develop examples of languages that are decidable
Decidable Languages We use languages to represent various computational problems because we have a terminology for dealing with languages Definition: A language is decidable if there is an algorithm (i.e.
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 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 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 informationLANGUAGE CLASSES ASSOCIATED WITH AUTOMATA OVER MATRIX GROUPS. Özlem Salehi (A) Flavio D Alessandro (B,C) Ahmet Celal Cem Say (A)
LANGUAGE CLASSES ASSOCIATED WITH AUTOMATA OVER MATRIX GROUPS Özlem Salehi (A) Flavio D Alessandro (B,C) Ahmet Celal Cem Say (A) arxiv:1609.00396v1 [cs.fl] 1 Sep 2016 (A) Boǧaziçi University, Department
More informationSE 3310b Theoretical Foundations of Software Engineering. Turing Machines. Aleksander Essex
SE 3310b Theoretical Foundations of Software Engineering Turing Machines Aleksander Essex 1 / 1 Turing Machines 2 / 1 Introduction We ve finally arrived at a complete model of computation: Turing machines.
More informationLecture Notes: The Halting Problem; Reductions
Lecture Notes: The Halting Problem; Reductions COMS W3261 Columbia University 20 Mar 2012 1 Review Key point. Turing machines can be encoded as strings, and other Turing machines can read those strings
More informationDecision Problems with TM s. Lecture 31: Halting Problem. Universe of discourse. Semi-decidable. Look at following sets: CSCI 81 Spring, 2012
Decision Problems with TM s Look at following sets: Lecture 31: Halting Problem CSCI 81 Spring, 2012 Kim Bruce A TM = { M,w M is a TM and w L(M)} H TM = { M,w M is a TM which halts on input w} TOTAL TM
More informationA Reduction of Finitely Expandable Deep Pushdown Automata
http://excel.fit.vutbr.cz A Reduction of Finitely Expandable Deep Pushdown Automata Lucie Dvořáková Abstract For a positive integer n, n-expandable deep pushdown automata always contain no more than n
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2016 http://cseweb.ucsd.edu/classes/sp16/cse105-ab/ Today's learning goals Sipser Ch 4.1, 5.1 Define reductions from one problem to another. Use reductions to prove
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 informationFriday Four Square! Today at 4:15PM, Outside Gates
P and NP Friday Four Square! Today at 4:15PM, Outside Gates Recap from Last Time Regular Languages DCFLs CFLs Efficiently Decidable Languages R Undecidable Languages Time Complexity A step of a Turing
More informationBBM402-Lecture 11: The Class NP
BBM402-Lecture 11: The Class NP Lecturer: Lale Özkahya Resources for the presentation: http://ocw.mit.edu/courses/electrical-engineering-andcomputer-science/6-045j-automata-computability-andcomplexity-spring-2011/syllabus/
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 informationCS6901: review of Theory of Computation and Algorithms
CS6901: review of Theory of Computation and Algorithms Any mechanically (automatically) discretely computation of problem solving contains at least three components: - problem description - computational
More informationOn Stateless Multicounter Machines
On Stateless Multicounter Machines Ömer Eğecioğlu and Oscar H. Ibarra Department of Computer Science University of California, Santa Barbara, CA 93106, USA Email: {omer, ibarra}@cs.ucsb.edu Abstract. We
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 informationNew Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (Extended Abstract) Gaoyan Xie, Cheng Li and Zhe Dang School of Electrical Engineering and
More informationSOLUTION: SOLUTION: SOLUTION:
Convert R and S into nondeterministic finite automata N1 and N2. Given a string s, if we know the states N1 and N2 may reach when s[1...i] has been read, we are able to derive the states N1 and N2 may
More informationThe Accepting Power of Finite. Faculty of Mathematics, University of Bucharest. Str. Academiei 14, 70109, Bucharest, ROMANIA
The Accepting Power of Finite Automata Over Groups Victor Mitrana Faculty of Mathematics, University of Bucharest Str. Academiei 14, 70109, Bucharest, ROMANIA Ralf STIEBE Faculty of Computer Science, University
More informationAperiodic String Transducers
Aperiodic String Transducers Luc Dartois, Ismaël Jecker Université Libre de Bruxelles, Belgium Pierre-Alain Reynier Aix Marseille Univ, Université de Toulon, CNRS, LIS, Marseille, France Regular string-to-string
More informationDiscrete Event Systems Exam
Computer Engineering and Networks Laboratory TEC, NSG, DISCO HS 2016 Prof. L. Thiele, Prof. L. Vanbever, Prof. R. Wattenhofer Discrete Event Systems Exam Friday, 3 rd February 2017, 14:00 16:00. Do not
More informationLecture 6: Oracle TMs, Diagonalization Limits, Space Complexity
CSE 531: Computational Complexity I Winter 2016 Lecture 6: Oracle TMs, Diagonalization Limits, Space Complexity January 22, 2016 Lecturer: Paul Beame Scribe: Paul Beame Diagonalization enabled us to separate
More informationX-machines - a computational model framework.
Chapter 2. X-machines - a computational model framework. This chapter has three aims: To examine the main existing computational models and assess their computational power. To present the X-machines as
More informationAdvanced topic: Space complexity
Advanced topic: Space complexity CSCI 3130 Formal Languages and Automata Theory Siu On CHAN Chinese University of Hong Kong Fall 2016 1/28 Review: time complexity We have looked at how long it takes to
More information2. Syntactic Congruences and Monoids
IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Advanced Course on Computational Complexity Lecture 3: Algebra and Languages David Mix Barrington and Alexis Maciel July 19, 2000 1.
More informationON STATELESS AUTOMATA AND P SYSTEMS
ON STATELESS AUTOMATA AND P SYSTEMS Linmin Yang School of Electrical Engineering and Computer Science Washington State University, Pullman, Washington 99164, USA lyang1@eecs.wsu.edu Zhe Dang School of
More informationCPSC 421: Tutorial #1
CPSC 421: Tutorial #1 October 14, 2016 Set Theory. 1. Let A be an arbitrary set, and let B = {x A : x / x}. That is, B contains all sets in A that do not contain themselves: For all y, ( ) y B if and only
More informationSubset construction. We have defined for a DFA L(A) = {x Σ ˆδ(q 0, x) F } and for A NFA. For any NFA A we can build a DFA A D such that L(A) = L(A D )
Search algorithm Clever algorithm even for a single word Example: find abac in abaababac See Knuth-Morris-Pratt and String searching algorithm on wikipedia 2 Subset construction We have defined for a DFA
More informationTWO-VARIABLE LOGIC WITH COUNTING AND A LINEAR ORDER
Logical Methods in Computer Science Vol. 12(2:8)2016, pp. 1 31 www.lmcs-online.org Submitted Nov. 2, 2015 Published Jun. 23, 2016 TWO-VARIABLE LOGIC WITH COUNTING AND A LINEAR ORDER WITOLD CHARATONIK AND
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION "Winter" 2018 http://cseweb.ucsd.edu/classes/wi18/cse105-ab/ Today's learning goals Sipser Ch 7 Distinguish between computability and complexity Articulate motivation questions
More information