languages by semifilter-congruences
|
|
- Toby Adams
- 5 years ago
- Views:
Transcription
1 ideas Suffix semifilter-congruences Southwest Univ. Southwest Univ. Hongkong Univ. July 5 9, 2010, Nankai, China. Prefixsuffix
2 Contents ideas 1 2 ideas 3 Suffix- 4 Prefix-suffix- Suffix Prefixsuffix
3 ideas Suffix The theory of congruences is one of the key parts of the theory of universal algebras. In particular, the theory of congruences on free semigroups which are 2-algebras is crucial in the study of combinatorial semigroups. The present survey is concerning the important role of the theory of congruences on free semigroups in characterizing. This talk is devoted to characterizing semifilter-congruences. Some recent progress results in this aspect are surveyed. Furthermore, some are proposed. Prefixsuffix
4 Introduction ideas Suffix Prefixsuffix In the whole talk, A is a finite nonempty set that is called a finite alphabet in which any element is called a letter over A, A always denotes the free monoid generated A. Moreover, w A L A are called a word a language over A, respectively. In particular, the identity of A is called the empty word over A denoted 1. We also let A + = A {1}. It is well known that are important in theoretical computer science. From the theory of theoretical computer science, a language over A is if it can be accepted a finite states automaton. Furthermore, also have a lot of remarkable algebraic properties. In particular, can be characterized using the principal congruences (principal left congruences, principal right congruences) determined themselves.
5 Introduction ideas Suffix Prefixsuffix Since can be characterized using their corresponding principal congruences (principal left congruences, principal right congruences), we may generalize means of principal congruences (principal left congruences, principal right congruences). This idea is realized firstly Prodinger in 1980, he explored a generalization model of principal right congruences using so-called semifilters. By applying these kinds of generalized principal right congruences, Prodinger defined investigated some classes of generalized. Following Prodinger, several papers are also devoted to this topic. Recently, we continued to pay attention to this topic obtained some new results. In this talk, we shall survey the results obtained in this line. Moreover, some are proposed.
6 ideas ideas Suffix Prefixsuffix Before stating ideas, we first recall the concept of principal congruences, principal left congruences principal right congruences determined. For any L A, define three relations P (r) L, P (l) L P L on A as follows: where xp (r) L y if only if G L(x, y) = A, xp (l) L y if only if H L(x, y) = A, xp L y if only if P L (x, y) = A A, G L (x, y) = {v A xv L if only if yv L}, H L (x, y) = {u A ux L if only if uy L}, P L (x, y) = {(u, v) A A uxv L if only if uyv L}.
7 ideas ideas Suffix Prefixsuffix It can be proved that P L (P (r) L, P (l) L ) is a congruence (right congruence, left congruence) on A, which is called the principal congruence (principal right congruence, principal left congruence) on A determined L. Now, we can give the following well-known characterizations of over A. Theorem 2.1 ([3]) For L A, the following statements are equivalent: (1) L is ; (2) The index of P L is finite, that is, the number of P L -classes of A is finite; (3) The index of P (r) L is finite; (4) The index of P (l) L is finite.
8 ideas ideas Suffix Prefixsuffix In order to state idea, we need some concepts notations. For a monoid M N M, we use N to denote the complement of N in M. Now, let M be a monoid, L, K M x, y, z M. Denote z 1 L = {w M zw L}, Lz 1 = {w M wz L}, x 1 Ly 1 = {w M xwy L}. Furthermore, we also denote the set of finite subsets of M F(M), the complement of the symmetric difference of L K L K, respectively. Formally, we have F(M) = {F M F is finite}, L K = (L K) L K.
9 ideas ideas Suffix Prefixsuffix Now, we give the following concept of semifilters, which plays an important role in ideas. Definition 2.2 ([4]) Let M be a monoid, 2 M be the power set of M L 2 M. Then, L is called a semifilter (resp. left divisible semifilter, resp. right divisible semifilter) on M if the following (1),(2)(resp.(1),(2),(3) l ; resp.(1),(2),(3) r ) hold: (1) M L ; (2) ( X, Y L ) X Y L ; (3) l ( X L )( z M) z 1 X L ; (3) r ( X L )( z M) Xz 1 L.
10 ideas ideas Suffix Prefixsuffix Example 2.3 ([4]) The followings are some examples of semifilters on a monoid M. (1) {M}. (2) C (M) = {L M L is finite }, C (M) is called the cofinite semifilter on M. It is not difficult to see that both {A } C (A ) are left right divisible semifilters over A. Remark: Observe that the symmetry of left divisibility right divisibility of semifilters, we only consider left divisible semifilters in the sequel.
11 ideas ideas Suffix Prefixsuffix At this stage, we can state ideas. Let L be a left divisible semifilter on A L A. Define xp (r) L,L y if only if G L(x, y) L, where G L (x, y) = {v A xv L if only if yv L}. Then we have Theorem 2.4 ([4]) Let L be a left divisible semifilter on A L A. Then P (r) L,L is a right congruence on A. Since the above right congruence P (r) L,L is related to the left divisible semifilter L, the class of right congruences obtained in this way will be called semifilter-congruences in the sequel.
12 ideas ideas Suffix Prefixsuffix Let L be a left divisible semifilter on A. It can be showed that P (r) L = P (r) {A },L P (r) L,L for any L A. Thus, the principal right congruences determined are generalized using the left divisible semifilters. Furthermore, if we denote R (r) L = {L A the index of P (r) L,L is finite}, then Theorem 2.1, R (r) L contains the class of over A as a subclass. Thus, are generalized this method. It is reasonable to call them generalized determined semifilter-congruences.
13 ideas ideas Suffix Prefixsuffix It is known that the class of over A forms a Boolean algebra with the operations of union, intersection complement. For generalized determined semifilter-congruences, Prodinger obtained the similar result. Theorem 2.5 ([4]) Let L be a left divisible semifilter on A. Then R (r) L forms a Boolean algebra with the operations of union, intersection complement. In 1980, Prodinger pointed out that the cofinite semifilter C (A ) on A seemed to be the most interesting semifilter on A proposed the following problem. For convenience, we denote the class of over A R(A), or R if no confusion arises.
14 ideas ideas Suffix Prefixsuffix Problem 2.6 ([4]) Does the equality R (r) C (A ) = R hold? In 1983, Yuqi Guo, Shuiting Lian Li answered Problem 2.6 positively. That is, they obtained the following result. Theorem 2.7 ([1]) R (r) C (A ) = R. From Theorem 2.7, it follows that the class of over A can be characterized using the left divisible semifilter C (A ) as well as the left divisible semifilter {A } on A.
15 Suffix- ideas Suffix Prefixsuffix In order to obtain a class of generalized determined some left divisible semifilter on A which contains the class of over A properly, Shuhua Zhang, Yuqi Guo Liang Zhang introduced a kind of left divisible semifilters L S = {X A A S X} in 1987, where S S(A), the set of all suffix-free over A. For any S S(A), R (r) L S is called the class of S- over A. In the sequel, we denote R (r) L S R S for any S S(A). Furthermore, the class R S = S S(A) R S is called the class of suffix- over A. Theorem 3.1 ([5]) Let S S(A) L A. Then L R S if only if (1) Ls 1 R for all s S; (2) The set {Ls 1 s S} is finite.
16 Suffix- ideas Suffix Prefixsuffix Let K, L A. We denote K 1 L = u 1 L LK 1 = Lu 1. u K u K The theorem below investigates some closure properties of R S for S S(A). Theorem 3.2 ([5]) Let S S(A). Then the following statements hold. (1) If K A L R S, then K 1 L R S ; (2) If K R L R S, then KL R S ; (3) R S is closed under concatenation if only if R S = R; (4) R S is closed under the operation of Kleene s closure if only if R S = R.
17 Suffix- ideas Suffix Prefixsuffix The following theorem gives another characterization of. Theorem 3.3 ([5]) Let S S(A). Then R S = R if only if S is finite maximal in S(A) with respect to the usual inclusion order. Theorem 3.4 ([5]) Let S, T S(A). Then R S = R T if only if (1) For any w in A + (S T ), S {w} S(A) if only if T {w} S(A); (2) For any x S(resp. x T ), there exist y T (resp. y S) z A such that y = zx or x = zy; (3) Both ST 1 T S 1 are finite.
18 Suffix- ideas Suffix Recently, we introduced a new kind of semifilters using S(A). Let S S(A) L F,S = {L A ( F F(A )) F A S L}. It can be proved that L F,S is a left divisible semifilter on A L S L F,S. The following result indicates that S- can also be described the semifilter L F,S for any S S(A). Theorem 3.5 Let S S(A). Then R (r) L F,S = R S. Prefixsuffix
19 Suffix- ideas Suffix Prefixsuffix It is worth to remark that Theorem 2.7 can be obtained as a corollary of Theorem 3.5. In fact, if S = A, then L S = {A +, A } L F,S = C (A ). Observe that P (r) L = P (r) L S,L L for each L A, where L= {(x, y) A A x L if only if y L}. By Theorem 3.5, R (r) C (A ) = R S = R (r) {A } = R. On the class of suffix- over A, we have Proposition 3.6 ([6]) Let L A. Then L R S if only if Lt 1 R for some t A.
20 Suffix- ideas Suffix By using Proposition 3.6, the relationship between Chomsky hierarchy suffix- are also investigated Shuhua Zhang Yuqi Guo in Remark: In the above discussions, we have considered suffix-. In fact, symmetry, for any P P(A), the set of all prefix-free over A, we can also define the class R P of P - over A. Furthermore, we can also define investigate the class R P of prefix- over A. Prefixsuffix
21 Divisible semifilters on A A ideas Suffix Prefixsuffix In order to generalize principal congruences, we investigated divisible semifilters on the monoid product A A recently. Definition 4.1 A semifilter L on the monoid product A A is called divisible if ( N L )( z A ) z\n, N/z L, where N/z = {(x, v) A A (xz, v) N}, z\n = {(u, x) A A (u, zx) N}. It is easy to see that both C (A A ) {A A } are divisible semifilters on the monoid product A A.
22 Divisible semifilters on A A ideas Suffix Prefixsuffix Similar to the case of left divisible semifilters, for a divisible semifilter L on A A L A, we can define a relation on A where xp L,L y if only if P L (x, y) L, P L (x, y) = {(u, v) A A uxv L if only if uyv L}. It can be proved that P L,L is a congruence on A P L P L,L. We also regard P L,L as a semifilter-congruence. Denote R L = {L A the index of P L,L is finite}. Since P L P L,L, we have R R L. Thus, R L is also a kind of generalized determined.
23 Divisible semifilters on A A ideas Suffix Now, we shall introduce investigate two special kinds of divisible semifilters on A A. To give these semifilters, we need the following notations concepts. Let A A. Denote T ( ) = {(sx, yt) A A (s, t), x, y A, xy 1}. The following concept is basic in our discussion. Definition 4.2 Let A A. Then is called a prefix-suffix subset of A A if T ( ) =. The set of prefix-suffix subsets of A A is denoted PS(A). Prefixsuffix
24 Divisible semifilters on A A ideas Suffix Now, let PS(A) Define Ω = {(sx, yt) (s, t), x, y A }. L = {N A A Ω N}, L F, = {N A A ( F F(A A ))F Ω N}. Proposition 4.3 Let PS(A). Then both L L F, are divisible semifilters on A A. Prefixsuffix
25 Divisible semifilters on A A ideas Suffix Prefixsuffix Contrast to Theorem 3.5, we have Proposition 4.4 Let PS(A). In general, R L R L F,. The above Proposition 4.4 motivates the following natural problem. Problem 4.5 Let PS(A). How to characterize R L = R L F,? Finally, we can formulate another problem whose solutions may be helpful for solving Problem 4.5. Problem 4.6 Characterize R L R L F, for PS(A).
26 - ideas Suffix In the following, we shall investigate R L for PS(A). This work solves Problem 4.6 partially. For any PS(A), R L will be denoted R called the class of - over A in the sequel. Now, we consider - over A for a fixed PS(A). As consequences, some characterizations of are obtained. For PS(A) L A, we denote L( ) = s(s 1 Lt 1 )t, N( ) = (s,t) It is easy to see that L( ) = L N( ). (s,t) sa t. Prefixsuffix
27 - ideas Suffix Prefixsuffix Firstly, we give a characterization of -. Theorem 4.7 Let L A PS(A). Then L R if only if (1) s 1 Lt 1 R for all (s, t) ; (2) The set {s 1 Lt 1 (s, t) } is finite. Observe that {1} S PS(A) for any S S(A). Then we have Corollary 4.8 ([5]) Let L A S S(A). Then the following are equivalent: (1) L R {1} S ; (2) Lt 1 R for all t S the set {Lt 1 t S} is finite; (3) L R S.
28 - ideas Suffix Prefixsuffix Some characterizations of are given in the theorem below. For A A, we denote l = {u A (u, v) }, r = {v A (u, v) }. Theorem 4.9 Let PS(A) with l P(A) r S(A). Then the following are equivalent: (1) R = R; (2) N( ) is cofinite; (3) is finite R is closed under the operations of left quotient right quotient; (4) R is closed under the operation of concatenation; (5) R is closed under the operation of Kleene s closure.
29 - ideas Suffix Prefixsuffix The following result explores some closure properties of - under the operation of concatenation. Proposition 4.10 Let PS(A) with l P(A) r S(A). Then (1) RR R if only if R = R r ; (2) R R R if only if R = R l. Now, we give a sufficient necessary condition such that R 1 = R 2 with 1, 2 PS(A) 1, 2 <. Proposition 4.11 Let 1, 2 PS(A) 1, 2 <. Then R 1 = R 2 if only if the symmetric difference of N( 1 ) N( 2 ) is finite.
30 - ideas Suffix Prefixsuffix In the above Proposition 4.11, the finiteness of 1 2 is necessary, which can be illustrated the following example. Example 4.12 Let A = {a, b}, S 1 = {ba n n 1}, S 2 = {b 2 a n n 1} {aba n n 1} P P(A). Denote 1 = P S 1 2 = P S 2. Then R 1 = R 2. However, the symmetric difference of N( 1 ) N( 2 ) is infinite. Now, the following problem is natural. Problem 4.13 Let 1, 2 PS(A). How to characterize R 1 = R 2?
31 Prefix-suffix- ideas Suffix Similar to suffix- prefix-, we call R PS = R. PS(A) prefix-suffix- over A. In the sequel, some algebraic properties of prefix-suffix- are considered. Firstly, we give a characterization of prefix-suffix. Proposition 4.14 Let L A. Then, L R PS if only if s 1 Lt 1 R for some s, t A. Prefixsuffix
32 Prefix-suffix- ideas Suffix Prefixsuffix Corollary 4.15 ([6]) Let L A. Then L R S if only if Lt 1 R for some t A. For prefix-, suffix- prefix-suffix- over A, we have Proposition 4.16 (1) If A = 1, then R P = R S = R PS = R. (2) If A > 1, then R R P R S R S (resp. R P ) R P R S R PS 2 A. The following proposition gives some relationships among R P, R S, R PS, the class of context-free L 2 the class of context-sensitive L 1. Customarily, we let R = L 3.
33 Prefix-suffix- ideas Suffix Prefixsuffix Proposition 4.17 Let A 2. Then (1) L 2 R PS ; (2) L 1 L 2 R PS ; (3) (L i L i+1 ) (R PS R P R S ), i = 1, 2. Our final result considers the closure properties of prefixsuffix- under several operations. Proposition 4.18 Let A 2. Then (1) R PS is closed under the operation of complementation; (2) R PS is not closed under the operations of union, intersection, left quotient, right quotient, Kleene s closure concatenation.
34 Final comments ideas Suffix It would be interesting to investigate generalized determined semifilter-congruences. However, it seems difficult to generalize the previous results to general semifilters. So the strategy for studying this question is finding various kinds of semifilters investigating the corresponding semifilter-congruences generalized. The results surveyed in this paper seem to be only an starting point to deal with the questions. The authors believe that some progress will be made solving the raised in this talk. Prefixsuffix
35 References I ideas Suffix Prefixsuffix [1] Guo, Y. Q.,, S. T. Li, L., The Prodinger problem the Schreier method of language, Acta. Math. Sinica(in Chinese), 26(3), 1983: [2] Howie, J. M., Automata, Clarendon Press, Oxford, [3] Lallement, G., Semigroup combinatorical applications, John Wiley, New York, [4] Prodinger, H., Congruences defined filters, Inform. Contr., 44: 1(1980), [5] Zhang, S. H., Guo, Y. Q. Zhang, L., On S-, Acta. Math. Sinica(in Chinese), 30(2), 1987: [6] Zhang, S. H. Guo, Y. Q., Two notes on S-, Acta. Math. Sinica(in Chinese), 31(1), 1988:
36 Thank You! ideas Suffix Prefixsuffix
Aperiodic languages and generalizations
Aperiodic languages and generalizations Lila Kari and Gabriel Thierrin Department of Mathematics University of Western Ontario London, Ontario, N6A 5B7 Canada June 18, 2010 Abstract For every integer k
More informationOn Strong Alt-Induced Codes
Applied Mathematical Sciences, Vol. 12, 2018, no. 7, 327-336 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ams.2018.8113 On Strong Alt-Induced Codes Ngo Thi Hien Hanoi University of Science and
More informationWHEN ARE REES CONGRUENCES PRINCIPAL?
proceedings of the american mathematical society Volume 106, Number 3, July 1989 WHEN ARE REES CONGRUENCES PRINCIPAL? C. M. REIS (Communicated by Thomas H. Brylawski) Abstract. Let p be the Rees congruence
More informationLanguages and monoids with disjunctive identity
Languages and monoids with disjunctive identity Lila Kari and Gabriel Thierrin Department of Mathematics, University of Western Ontario London, Ontario, N6A 5B7 Canada Abstract We show that the syntactic
More informationPolynomial closure and unambiguous product
Polynomial closure and unambiguous product Jean-Eric Pin and Pascal Weil pin@litp.ibp.fr, weil@litp.ibp.fr 1 Introduction This paper is a contribution to the algebraic theory of recognizable languages,
More informationProduct of Finite Maximal p-codes
Product of Finite Maximal p-codes Dongyang Long and Weijia Jia Department of Computer Science, City University of Hong Kong Tat Chee Avenue, Kowloon, Hong Kong, People s Republic of China Email: {dylong,wjia}@cs.cityu.edu.hk
More informationAxioms of Kleene Algebra
Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.
More informationAutomata Theory and Formal Grammars: Lecture 1
Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)
More informationAn Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California. 2. Background: Semirings and Kleene algebras
An Overview of Residuated Kleene Algebras and Lattices Peter Jipsen Chapman University, California 1. Residuated Lattices with iteration 2. Background: Semirings and Kleene algebras 3. A Gentzen system
More informationL is finite or cofinite}, A + k+1 = { L A + L is a boolean combination of languages of the form L 1 L n (n 1) with L 1, L n A +
Some Logical Characterizations of the Dot-Depth Hierarchy and Applications By: Francine Blanchet-Sadri F. Blanchet-Sadri, "Some Logical Characterizations of the Dot-Depth Hierarchy and Applications." Journal
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More informationAperiodic languages p. 1/34. Aperiodic languages. Verimag, Grenoble
Aperiodic languages p. 1/34 Aperiodic languages Dejan Ničković Verimag, Grenoble Aperiodic languages p. 2/34 Table of Contents Introduction Aperiodic Sets Star-Free Regular Sets Schützenberger s theorem
More informationThe wreath product principle for ordered semigroups
The wreath product principle for ordered semigroups Jean-Eric Pin, Pascal Weil To cite this version: Jean-Eric Pin, Pascal Weil. The wreath product principle for ordered semigroups. Communications in Algebra,
More informationClosure Properties of Regular Languages
Closure Properties of Regular Languages Lecture 13 Section 4.1 Robb T. Koether Hampden-Sydney College Wed, Sep 21, 2016 Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages
More informationT (s, xa) = T (T (s, x), a). The language recognized by M, denoted L(M), is the set of strings accepted by M. That is,
Recall A deterministic finite automaton is a five-tuple where S is a finite set of states, M = (S, Σ, T, s 0, F ) Σ is an alphabet the input alphabet, T : S Σ S is the transition function, s 0 S is the
More informationBüchi Automata and their closure properties. - Ajith S and Ankit Kumar
Büchi Automata and their closure properties - Ajith S and Ankit Kumar Motivation Conventional programs accept input, compute, output result, then terminate Reactive program : not expected to terminate
More informationA SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES
Logical Methods in Computer Science Vol. 14(1:24)2018, pp. 1 23 https://lmcs.episciences.org/ Submitted Feb. 28, 2017 Published Mar. 29, 2018 A SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES OLIVIER
More informationPhilippe Flajolet & Analytic Combinatorics: Inherent Ambiguity of Context-Free Languages
Philippe Flajolet & Analytic Combinatorics: Inherent Ambiguity of Context-Free Languages Frédérique Bassino and Cyril Nicaud LIGM, Université Paris-Est & CNRS December 16, 2011 I first met Philippe in
More informationTopological dynamics: basic notions and examples
CHAPTER 9 Topological dynamics: basic notions and examples We introduce the notion of a dynamical system, over a given semigroup S. This is a (compact Hausdorff) topological space on which the semigroup
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2017
Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2017 Lecture 4 Ana Bove March 24th 2017 Structural induction; Concepts of automata theory. Overview of today s lecture: Recap: Formal Proofs
More informationPositive varieties and infinite words
Positive varieties and infinite words Jean-Eric Pin To cite this version: Jean-Eric Pin. Positive varieties and infinite words. 1998, Springer, Berlin, pp.76-87, 1998, Lecture Notes in Comput. Sci. 1380.
More informationSYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS
SYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS JITENDER KUMAR AND K. V. KRISHNA Abstract. The syntactic semigroup problem is to decide whether a given
More informationON THE STAR-HEIGHT OF SUBWORD COUNTING LANGUAGES AND THEIR RELATIONSHIP TO REES ZERO-MATRIX SEMIGROUPS
ON THE STAR-HEIGHT OF SUBWORD COUNTING LANGUAGES AND THEIR RELATIONSHIP TO REES ZERO-MATRIX SEMIGROUPS TOM BOURNE AND NIK RUŠKUC Abstract. Given a word w over a finite alphabet, we consider, in three special
More information1 Alphabets and Languages
1 Alphabets and Languages Look at handout 1 (inference rules for sets) and use the rules on some examples like {a} {{a}} {a} {a, b}, {a} {{a}}, {a} {{a}}, {a} {a, b}, a {{a}}, a {a, b}, a {{a}}, a {a,
More informationObtaining the syntactic monoid via duality
Radboud University Nijmegen MLNL Groningen May 19th, 2011 Formal languages An alphabet is a non-empty finite set of symbols. If Σ is an alphabet, then Σ denotes the set of all words over Σ. The set Σ forms
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationHierarchy among Automata on Linear Orderings
Hierarchy among Automata on Linear Orderings Véronique Bruyère Institut d Informatique Université de Mons-Hainaut Olivier Carton LIAFA Université Paris 7 Abstract In a preceding paper, automata and rational
More informationGreat Theoretical Ideas in Computer Science. Lecture 4: Deterministic Finite Automaton (DFA), Part 2
5-25 Great Theoretical Ideas in Computer Science Lecture 4: Deterministic Finite Automaton (DFA), Part 2 January 26th, 27 Formal definition: DFA A deterministic finite automaton (DFA) M =(Q,,,q,F) M is
More informationGEETANJALI INSTITUTE OF TECHNICAL STUDIES, UDAIPUR I
GEETANJALI INSTITUTE OF TECHNICAL STUDIES, UDAIPUR I Internal Examination 2017-18 B.Tech III Year VI Semester Sub: Theory of Computation (6CS3A) Time: 1 Hour 30 min. Max Marks: 40 Note: Attempt all three
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationON PARTITIONS SEPARATING WORDS. Formal languages; finite automata; separation by closed sets.
ON PARTITIONS SEPARATING WORDS Abstract. Partitions {L k } m k=1 of A+ into m pairwise disjoint languages L 1, L 2,..., L m such that L k = L + k for k = 1, 2,..., m are considered. It is proved that such
More informationDescriptional Complexity of Formal Systems (Draft) Deadline for submissions: April 25, 2010 Final versions: July 8, 2010
DCFS 2010 Descriptional Complexity of Formal Systems (Draft) Deadline for submissions: April 25, 2010 Final versions: July 8, 2010 On the Complexity of the Evaluation of Transient Extensions of Boolean
More informationVarieties Generated by Certain Models of Reversible Finite Automata
Varieties Generated by Certain Models of Reversible Finite Automata Marats Golovkins 1 and Jean-Eric Pin 2 1 Institute of Mathematics and Computer Science, University of Latvia, Raiņa bulv. 29, Riga, Latvia
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Lecture 4 Ana Bove March 23rd 2018 Recap: Formal Proofs How formal should a proof be? Depends on its purpose...... but should be convincing......
More informationTheory of Computation
Thomas Zeugmann Hokkaido University Laboratory for Algorithmics http://www-alg.ist.hokudai.ac.jp/ thomas/toc/ Lecture 1: Introducing Formal Languages Motivation I This course is about the study of a fascinating
More informationSEPARATING REGULAR LANGUAGES WITH FIRST-ORDER LOGIC
Logical Methods in Computer Science Vol. 12(1:5)2016, pp. 1 30 www.lmcs-online.org Submitted Jun. 4, 2014 Published Mar. 9, 2016 SEPARATING REGULAR LANGUAGES WITH FIRST-ORDER LOGIC THOMAS PLACE AND MARC
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationCS 121, Section 2. Week of September 16, 2013
CS 121, Section 2 Week of September 16, 2013 1 Concept Review 1.1 Overview In the past weeks, we have examined the finite automaton, a simple computational model with limited memory. We proved that DFAs,
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 informationProperties of Regular Languages. BBM Automata Theory and Formal Languages 1
Properties of Regular Languages BBM 401 - Automata Theory and Formal Languages 1 Properties of Regular Languages Pumping Lemma: Every regular language satisfies the pumping lemma. A non-regular language
More informationSimple equations on binary factorial languages
Simple equations on binary factorial languages A. E. Frid a a Sobolev Institute of Mathematics SB RAS Koptyug av., 4, 630090 Novosibirsk, Russia E-mail: frid@math.nsc.ru Abstract We consider equations
More informationGrammars (part II) Prof. Dan A. Simovici UMB
rammars (part II) Prof. Dan A. Simovici UMB 1 / 1 Outline 2 / 1 Length-Increasing vs. Context-Sensitive rammars Theorem The class L 1 equals the class of length-increasing languages. 3 / 1 Length-Increasing
More informationAutomata-based Verification - III
COMP30172: Advanced Algorithms Automata-based Verification - III Howard Barringer Room KB2.20: email: howard.barringer@manchester.ac.uk March 2009 Third Topic Infinite Word Automata Motivation Büchi Automata
More informationCS256/Spring 2008 Lecture #11 Zohar Manna. Beyond Temporal Logics
CS256/Spring 2008 Lecture #11 Zohar Manna Beyond Temporal Logics Temporal logic expresses properties of infinite sequences of states, but there are interesting properties that cannot be expressed, e.g.,
More informationAutomata-based Verification - III
CS3172: Advanced Algorithms Automata-based Verification - III Howard Barringer Room KB2.20/22: email: howard.barringer@manchester.ac.uk March 2005 Third Topic Infinite Word Automata Motivation Büchi Automata
More informationFinite Automata and Regular languages
Finite Automata and Regular languages Huan Long Shanghai Jiao Tong University Acknowledgements Part of the slides comes from a similar course in Fudan University given by Prof. Yijia Chen. http://basics.sjtu.edu.cn/
More informationSri vidya college of engineering and technology
Unit I FINITE AUTOMATA 1. Define hypothesis. The formal proof can be using deductive proof and inductive proof. The deductive proof consists of sequence of statements given with logical reasoning in order
More informationTree languages defined in first-order logic with one quantifier alternation
Tree languages defined in first-order logic with one quantifier alternation Miko laj Bojańczyk, Luc Segoufin Warsaw University, INRIA - LSV March 9, 2010 Abstract We study tree languages that can be defined
More informationLanguages. A language is a set of strings. String: A sequence of letters. Examples: cat, dog, house, Defined over an alphabet:
Languages 1 Languages A language is a set of strings String: A sequence of letters Examples: cat, dog, house, Defined over an alphaet: a,, c,, z 2 Alphaets and Strings We will use small alphaets: Strings
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 informationMAXIMAL ORDERS IN COMPLETELY 0-SIMPLE SEMIGROUPS
MAXIMAL ORDERS IN COMPLETELY 0-SIMPLE SEMIGROUPS John Fountain and Victoria Gould Department of Mathematics University of York Heslington York YO1 5DD, UK e-mail: jbf1@york.ac.uk varg1@york.ac.uk Abstract
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationThe matrix approach for abstract argumentation frameworks
The matrix approach for abstract argumentation frameworks Claudette CAYROL, Yuming XU IRIT Report RR- -2015-01- -FR February 2015 Abstract The matrices and the operation of dual interchange are introduced
More informationSome Operations Preserving Primitivity of Words
Some Operations Preserving Primitivity of Words Jürgen Dassow Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg PSF 4120; D-39016 Magdeburg; Germany Gema M. Martín, Francisco J. Vico Departamento
More informationNotes on Monoids and Automata
Notes on Monoids and Automata Uday S. Reddy November 9, 1994 In this article, I define a semantics for Algol programs with Reynolds s syntactic control of interference?;? in terms of comonoids in coherent
More informationFinite Automata and Regular Languages
Finite Automata and Regular Languages Topics to be covered in Chapters 1-4 include: deterministic vs. nondeterministic FA, regular expressions, one-way vs. two-way FA, minimization, pumping lemma for regular
More informationValence automata over E-unitary inverse semigroups
Valence automata over E-unitary inverse semigroups Erzsi Dombi 30 May 2018 Outline Motivation Notation and introduction Valence automata Bicyclic and polycyclic monoids Motivation Chomsky-Schützenberger
More informationWarshall s algorithm
Regular Expressions [1] Warshall s algorithm See Floyd-Warshall algorithm on Wikipedia The Floyd-Warshall algorithm is a graph analysis algorithm for finding shortest paths in a weigthed, directed graph
More informationA GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis
International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated
More informationJumping Finite Automata
Jumping Finite Automata Alexander Meduna and Petr Zemek Brno University of Technology, Faculty of Information Technology IT4Innovations Centre of Excellence Božetěchova 2, 612 00 Brno, Czech Republic http://www.fit.vutbr.cz/
More informationCoalgebra, lecture 10: Algebra and Coalgebra for Regular Expressions
Coalgebra, lecture 10: Algebra and Coalgebra for Regular Expressions Jurriaan Rot November 19, 2018 By now we ve been talking a lot about coalgebras and coinduction, as well as algebras and induction.
More informationThe bideterministic concatenation product
The bideterministic concatenation product Jean-Eric Pin and Denis Thérien Bull Research and Development, Rue Jean-Jaurès, 78340 Les Clayes-sous-Bois, France Abstract This paper is devoted to the study
More informationVarieties Generated by Certain Models of Reversible Finite Automata
Varieties Generated by Certain Models of Reversible Finite Automata Marats Golovkins Faculty of Computing, University of Latvia, Raiņa bulv. 29, Riga LV-1459, Latvia marats at latnet dot lv Jean-Eric Pin
More informationClosure Under Reversal of Languages over Infinite Alphabets
Closure Under Reversal of Languages over Infinite Alphabets Daniel Genkin 1, Michael Kaminski 2(B), and Liat Peterfreund 2 1 Department of Computer and Information Science, University of Pennsylvania,
More informationRegular Languages. Problem Characterize those Languages recognized by Finite Automata.
Regular Expressions Regular Languages Fundamental Question -- Cardinality Alphabet = Σ is finite Strings = Σ is countable Languages = P(Σ ) is uncountable # Finite Automata is countable -- Q Σ +1 transition
More informationFormal Languages. We ll use the English language as a running example.
Formal Languages We ll use the English language as a running example. Definitions. A string is a finite set of symbols, where each symbol belongs to an alphabet denoted by. Examples. The set of all strings
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationOn Shyr-Yu Theorem 1
On Shyr-Yu Theorem 1 Pál DÖMÖSI Faculty of Informatics, Debrecen University Debrecen, Egyetem tér 1., H-4032, Hungary e-mail: domosi@inf.unideb.hu and Géza HORVÁTH Institute of Informatics, Debrecen University
More informationFormal Languages. We ll use the English language as a running example.
Formal Languages We ll use the English language as a running example. Definitions. A string is a finite set of symbols, where each symbol belongs to an alphabet denoted by Σ. Examples. The set of all strings
More informationThe commutation with ternary sets of words
The commutation with ternary sets of words Juhani Karhumäki Michel Latteux Ion Petre Turku Centre for Computer Science TUCS Technical Reports No 589, March 2004 The commutation with ternary sets of words
More informationHKN CS/ECE 374 Midterm 1 Review. Nathan Bleier and Mahir Morshed
HKN CS/ECE 374 Midterm 1 Review Nathan Bleier and Mahir Morshed For the most part, all about strings! String induction (to some extent) Regular languages Regular expressions (regexps) Deterministic finite
More informationBridges for concatenation hierarchies
Bridges for concatenation hierarchies Jean-Éric Pin LIAFA, CNRS and Université Paris VII 2 Place Jussieu 75251 Paris Cedex O5, FRANCE e-mail: Jean-Eric.Pin@liafa.jussieu.fr Abstract. In the seventies,
More informationUnit 6. Non Regular Languages The Pumping Lemma. Reading: Sipser, chapter 1
Unit 6 Non Regular Languages The Pumping Lemma Reading: Sipser, chapter 1 1 Are all languages regular? No! Most of the languages are not regular! Why? A finite automaton has limited memory. How can we
More informationSTAR-FREE GEODESIC LANGUAGES FOR GROUPS
STAR-FREE GEODESIC LANGUAGES FOR GROUPS SUSAN HERMILLER 1, DEREK F. HOLT, AND SARAH REES Abstract. In this article we show that every group with a finite presentation satisfying one or both of the small
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 informationJean Berstel. Transductions and Context-Free Languages. December 14, c Jean Berstel 2006 c Teubner-Verlag 1979
Jean Berstel Transductions and Context-Free Languages December 14, 2009 c Jean Berstel 2006 c Teubner-Verlag 1979 ii Preface to the electronic edition This electronic edition contains the first four chapters
More informationLecture Notes On THEORY OF COMPUTATION MODULE -1 UNIT - 2
BIJU PATNAIK UNIVERSITY OF TECHNOLOGY, ODISHA Lecture Notes On THEORY OF COMPUTATION MODULE -1 UNIT - 2 Prepared by, Dr. Subhendu Kumar Rath, BPUT, Odisha. UNIT 2 Structure NON-DETERMINISTIC FINITE AUTOMATA
More informationEQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS
EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs
More informationAutomata for arithmetic Meyer sets
Author manuscript, published in "LATIN 4, Buenos-Aires : Argentine (24)" DOI : 1.17/978-3-54-24698-5_29 Automata for arithmetic Meyer sets Shigeki Akiyama 1, Frédérique Bassino 2, and Christiane Frougny
More informationChapter 0 Introduction. Fourth Academic Year/ Elective Course Electrical Engineering Department College of Engineering University of Salahaddin
Chapter 0 Introduction Fourth Academic Year/ Elective Course Electrical Engineering Department College of Engineering University of Salahaddin October 2014 Automata Theory 2 of 22 Automata theory deals
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 informationF. Blanchet-Sadri and F.D. Gaddis, "On a Product of Finite Monoids." Semigroup Forum, Vol. 57, 1998, pp DOI: 10.
On a Product of Finite Monoids By: F. Blanchet-Sadri and F. Dale Gaddis F. Blanchet-Sadri and F.D. Gaddis, "On a Product of Finite Monoids." Semigroup Forum, Vol. 57, 1998, pp 75-91. DOI: 10.1007/PL00005969
More informationMonoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010
June 22, 2010 J -trivial A monoid S is called J -trivial if the Green s relation J on it is the trivial relation, that is aj b implies a = b for any a, b S, or, equivalently all J -classes of S are one-element.
More informationOn injective constructions of S-semigroups. Jan Paseka Masaryk University
On injective constructions of S-semigroups Jan Paseka Masaryk University Joint work with Xia Zhang South China Normal University BLAST 2018 University of Denver, Denver, USA Jan Paseka (MU) 10. 8. 2018
More informationTHE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS
THE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS A. PILITOWSKA 1 AND A. ZAMOJSKA-DZIENIO 2 Abstract. This paper is devoted to the semilattice ordered V-algebras of the form (A, Ω, +), where
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 informationFrom Semirings to Residuated Kleene Lattices
Peter Jipsen From Semirings to Residuated Kleene Lattices Abstract. We consider various classes of algebras obtained by expanding idempotent semirings with meet, residuals and Kleene-. An investigation
More informationOverlapping tile automata:
Overlapping tile automata: towards a language theory of overlapping structures David Janin LaBRI, Université de Bordeaux Computer Science in Russia, Ekaterinburg, june 2013 1. From strings to overlapping
More informationarxiv: v1 [math.co] 13 Sep 2017
Relative positions of points on the real line and balanced parentheses José Manuel Rodríguez Caballero Université du Québec à Montréal, Montréal, QC, Canada rodriguez caballero.jose manuel@uqam.ca arxiv:1709.07732v1
More informationCONCATENATION AND KLEENE STAR ON DETERMINISTIC FINITE AUTOMATA
1 CONCATENATION AND KLEENE STAR ON DETERMINISTIC FINITE AUTOMATA GUO-QIANG ZHANG, XIANGNAN ZHOU, ROBERT FRASER, LICONG CUI Department of Electrical Engineering and Computer Science, Case Western Reserve
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 informationCombinatorics on Finite Words and Data Structures
Combinatorics on Finite Words and Data Structures Dipartimento di Informatica ed Applicazioni Università di Salerno (Italy) Laboratoire I3S - Université de Nice-Sophia Antipolis 13 March 2009 Combinatorics
More informationAn algebraic view of topological -machines
An algebraic view of topological -machines Luke Grecki Graduate Group in Applied Mathematics lgrecki@math.ucdavis.edu June 8, 2010 1 Contents 1 Semigroups 3 2 Semigroups of automata 4 3 -machine words
More information3515ICT: Theory of Computation. Regular languages
3515ICT: Theory of Computation Regular languages Notation and concepts concerning alphabets, strings and languages, and identification of languages with problems (H, 1.5). Regular expressions (H, 3.1,
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Lecture 14 Ana Bove May 14th 2018 Recap: Context-free Grammars Simplification of grammars: Elimination of ǫ-productions; Elimination of
More informationOn closures of lexicographic star-free languages. E. Ochmański and K. Stawikowska
On closures of lexicographic star-free languages E. Ochmański and K. Stawikowska Preprint No 7/2005 Version 1, posted on April 19, 2005 On closures of lexicographic star-free languages Edward Ochma ski
More informationStone Duality. An application in the theory of formal languages. A Master thesis by Mirte Dekkers Under supervision of Prof. dr.
Stone Duality An application in the theory of formal languages A Master thesis by Mirte Dekkers Under supervision of Prof. dr. Mai Gehrke Stone duality An application in the theory of formal languages
More informationKAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS. 1. Introduction
KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS MIKHAIL V. BELOLIPETSKY AND PAUL E. GUNNELLS 1. Introduction Groups defined by presentations of the form s 1,..., s n s 2 i = 1, (s i s j ) m i,j = 1 (i,
More informationFinitely presented algebras defined by homogeneous semigroup relations
Finitely presented algebras defined by homogeneous semigroup relations Aachen, March 2010 Plan of the talk 1. motivating problems 2. algebras defined by homogeneous semigroup presentations 3. special classes
More informationAn Algebraic Approach to Energy Problems I -Continuous Kleene ω-algebras
Acta Cybernetica 23 (2017) 203 228. An Algebraic Approach to Energy Problems I -Continuous Kleene ω-algebras Zoltán Ésika, Uli Fahrenberg b, Axel Legay c, and Karin Quaas d Abstract Energy problems are
More information