On Nonpermutational Transformation Semigroups with an Application to Syntactic Complexity
نویسندگان
چکیده
منابع مشابه
On Nonpermutational Transformation Semigroups with an Application to Syntactic Complexity
We give an upper bound of n((n−1)!−(n−3)!) for the possi5 ble largest size of a subsemigroup of the full transformational semigroup 6 over n elements consisting only of nonpermutational transformations. As 7 an application we gain the same upper bound for the syntactic complex8 ity of (generalized) definite languages as well. 9
متن کاملAn Upper Bound for the Complexity of Transformation Semigroups
A transformation semigroup (ts) X = (Q,, S,) in this paper consists of a finite set of states Qx and a subsemigroup of transformations S, of PF(Q,), the monoid of all partial functions on Q, with composition as multiplication. For n > 1, ii’ denotes the transformation monoid (tm) with n states and with the n constant maps on those n states (along with the identity function) as transformations. ...
متن کاملSyntactic semigroups
This chapter gives an overview on what is often called the algebraic theory of finite automata. It deals with languages, automata and semigroups, and has connections with model theory in logic, boolean circuits, symbolic dynamics and topology. Kleene’s theorem [70] is usually considered as the foundation of this theory. It shows that the class of recognizable languages (i.e. recognized by finit...
متن کاملUNIVERSAL COMPACTIFICATIONS OF TRANSFORMATION SEMIGROUPS
We extend the notion of semigroup compactification to the class of transformation semigroups, and determine the compactifications which are universal with respect to some topological properties.
متن کاملOn transformation semigroups which are ℬ-semigroups
A semigroup whose bi-ideals and quasi-ideals coincide is called a -semigroup. The full transformation semigroup on a set X and the semigroup of all linear transformations of a vector space V over a field F into itself are denoted, respectively, by T(X) and LF(V). It is known that every regular semigroup is a -semigroup. Then both T(X) and LF(V) are -semigroups. In 1966, Magill introduced and st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Cybernetica
سال: 2016
ISSN: 0324-721X
DOI: 10.14232/actacyb.22.3.2016.9