|
Rational Relation
In computer science, more precisely in automata theory, a rational set of a monoid is an element of the minimal class of subsets of this monoid that contains all finite subsets and is closed under union, product and Kleene star. Rational sets are useful in automata theory, formal languages and algebra. A rational set generalizes the notion of rational (regular) language (understood as defined by regular expressions) to monoids that are not necessarily free. Definition Let (N,\cdot) be a monoid with identity element e. The set \mathrm(N) of rational subsets of N is the smallest set that contains every finite set and is closed under * union: if A,B\in \mathrm(N) then A\cup B\in \mathrm(N) * product: if A,B\in \mathrm(N) then A\cdot B=\\in\mathrm(N) * Kleene star: if A\in \mathrm(N) then A^*=\bigcup_^\infty A^i \in\mathrm(N) where A^0=\ is the singleton containing the identity element, and where A^=A^n \cdot A. This means that any rational subset of N can be obtained by taking a fini ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Recognizable Set
In computer science, more precisely in automata theory, a recognizable set of a monoid is a subset that can be distinguished by some morphism to a finite monoid. Recognizable sets are useful in automata theory, formal languages and algebra. This notion is different from the notion of recognizable language. Indeed, the term "recognizable" has a different meaning in computability theory. Definition Let N be a monoid, a subset S\subseteq N is recognized by a monoid M if there exists a morphism \phi from N to M such that S=\phi^(\phi(S)), and recognizable if it is recognized by some finite monoid. This means that there exists a subset T of M (not necessarily a submonoid of M) such that the image of S is in T and the image of N \setminus S is in M \setminus T. Example Let A be an alphabet: the set A^* of words over A is a monoid, the free monoid on A. The recognizable subsets of A^* are precisely the regular languages. Indeed, such a language is recognized by the transition monoid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jean-Éric Pin
Jean-Éric Pin is a French mathematician and theoretical computer scientist known for his contributions to the algebraic automata theory and semigroup theory. He is a CNRS research director. Biography Pin earned his undergraduate degree from ENS Cachan in 1976 and his doctorate (Doctorat d'état) from the Pierre and Marie Curie University in 1981. Since 1988 he has been a CNRS research director at Paris Diderot University. In the years 1992–2006 he was a professor at École Polytechnique. Pin is a member of the Academia Europaea (2011) and an EATCS The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ... fellow (2014). In 2018, Pin became the first recipient of the Salomaa Prize in Automata Theory, Formal Languages, and Related Topics. References External links Personal page ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Monoid
In mathematics, a rational monoid is a monoid, an algebraic structure, for which each element can be represented in a "normal form" that can be computed by a finite transducer: multiplication in such a monoid is "easy", in the sense that it can be described by a rational function. Definition Consider a monoid ''M''. Consider a pair (''A'',''L'') where ''A'' is a finite subset of ''M'' that generates ''M'' as a monoid, and ''L'' is a language on ''A'' (that is, a subset of the set of all strings ''A''∗). Let ''φ'' be the map from the free monoid ''A''∗ to ''M'' given by evaluating a string as a product in ''M''. We say that ''L'' is a ''rational cross-section'' if ''φ'' induces a bijection between ''L'' and ''M''. We say that (''A'',''L'') is a ''rational structure'' for ''M'' if in addition the kernel of ''φ'', viewed as a subset of the product monoid ''A''∗×''A''∗ is a rational set. A quasi-rational monoid is one for which ''L'' is a rational relation: a rational ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Recognizable Set
In computer science, more precisely in automata theory, a recognizable set of a monoid is a subset that can be distinguished by some morphism to a finite monoid. Recognizable sets are useful in automata theory, formal languages and algebra. This notion is different from the notion of recognizable language. Indeed, the term "recognizable" has a different meaning in computability theory. Definition Let N be a monoid, a subset S\subseteq N is recognized by a monoid M if there exists a morphism \phi from N to M such that S=\phi^(\phi(S)), and recognizable if it is recognized by some finite monoid. This means that there exists a subset T of M (not necessarily a submonoid of M) such that the image of S is in T and the image of N \setminus S is in M \setminus T. Example Let A be an alphabet: the set A^* of words over A is a monoid, the free monoid on A. The recognizable subsets of A^* are precisely the regular languages. Indeed, such a language is recognized by the transition monoid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Series
In mathematics and computer science, a rational series is a generalisation of the concept of formal power series over a ring to the case when the basic algebraic structure is no longer a ring but a semiring, and the indeterminates adjoined are not assumed to commute. They can be regarded as algebraic expressions of a formal language over a finite alphabet. Definition Let ''R'' be a semiring and ''A'' a finite alphabet. A ''non-commutative polynomial'' over ''A'' is a finite formal sum of words over ''A''. They form a semiring R\langle A \rangle. A ''formal series'' is a ''R''-valued function ''c'', on the free monoid ''A''*, which may be written as :\sum_ c(w) w . The set of formal series is denoted R\langle\langle A \rangle\rangle and becomes a semiring under the operations :c+d : w \mapsto c(w) + d(w) :c\cdot d : w \mapsto \sum_ c(u) \cdot d(v) A non-commutative polynomial thus corresponds to a function ''c'' on ''A''* of finite support. In the case when ''R'' is a ring, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binary Relation
In mathematics, a binary relation associates elements of one set, called the ''domain'', with elements of another set, called the ''codomain''. A binary relation over Set (mathematics), sets and is a new set of ordered pairs consisting of elements in and in . It is a generalization of the more widely understood idea of a unary function. It encodes the common concept of relation: an element is ''related'' to an element , if and only if the pair belongs to the set of ordered pairs that defines the ''binary relation''. A binary relation is the most studied special case of an Finitary relation, -ary relation over sets , which is a subset of the Cartesian product X_1 \times \cdots \times X_n. An example of a binary relation is the "divides" relation over the set of prime numbers \mathbb and the set of integers \mathbb, in which each prime is related to each integer that is a Divisibility, multiple of , but not to an integer that is not a multiple of . In this relation, for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Index
In mathematics, specifically group theory, the index of a subgroup ''H'' in a group ''G'' is the number of left cosets of ''H'' in ''G'', or equivalently, the number of right cosets of ''H'' in ''G''. The index is denoted , G:H, or :H/math> or (G:H). Because ''G'' is the disjoint union of the left cosets and because each left coset has the same size as ''H'', the index is related to the orders of the two groups by the formula :, G, = , G:H, , H, (interpret the quantities as cardinal numbers if some of them are infinite). Thus the index , G:H, measures the "relative sizes" of ''G'' and ''H''. For example, let G = \Z be the group of integers under addition, and let H = 2\Z be the subgroup consisting of the even integers. Then 2\Z has two cosets in \Z, namely the set of even integers and the set of odd integers, so the index , \Z:2\Z, is 2. More generally, , \Z:n\Z, = n for any positive integer ''n''. When ''G'' is finite, the formula may be written as , G:H, = , G, /, H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finitely Generated Group
In algebra, a finitely generated group is a group ''G'' that has some finite generating set ''S'' so that every element of ''G'' can be written as the combination (under the group operation) of finitely many elements of ''S'' and of inverses of such elements. By definition, every finite group is finitely generated, since ''S'' can be taken to be ''G'' itself. Every infinite finitely generated group must be countable but countable groups need not be finitely generated. The additive group of rational numbers Q is an example of a countable group that is not finitely generated. Examples * Every quotient of a finitely generated group ''G'' is finitely generated; the quotient group is generated by the images of the generators of ''G'' under the canonical projection. * A subgroup of a finitely generated group need not be finitely generated. * A group that is generated by a single element is called cyclic. Every infinite cyclic group is isomorphic to the additive group of the integers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup of ''G'' if the restriction of ∗ to is a group operation on ''H''. This is often denoted , read as "''H'' is a subgroup of ''G''". The trivial subgroup of any group is the subgroup consisting of just the identity element. A proper subgroup of a group ''G'' is a subgroup ''H'' which is a proper subset of ''G'' (that is, ). This is often represented notationally by , read as "''H'' is a proper subgroup of ''G''". Some authors also exclude the trivial group from being proper (that is, ). If ''H'' is a subgroup of ''G'', then ''G'' is sometimes called an overgroup of ''H''. The same definitions apply more generally when ''G'' is an arbitrary semigroup, but this article will only deal with subgroups of groups. Subgroup tests Suppose th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection (set Theory)
In set theory, the intersection of two sets A and B, denoted by A \cap B, is the set containing all elements of A that also belong to B or equivalently, all elements of B that also belong to A. Notation and terminology Intersection is written using the symbol "\cap" between the terms; that is, in infix notation. For example: \\cap\=\ \\cap\=\varnothing \Z\cap\N=\N \\cap\N=\ The intersection of more than two sets (generalized intersection) can be written as: \bigcap_^n A_i which is similar to capital-sigma notation. For an explanation of the symbols used in this article, refer to the table of mathematical symbols. Definition The intersection of two sets A and B, denoted by A \cap B, is the set of all objects that are members of both the sets A and B. In symbols: A \cap B = \. That is, x is an element of the intersection A \cap B if and only if x is both an element of A and an element of B. For example: * The intersection of the sets and is . * The number 9 is in t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
