Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "monoid" wg kryterium: Temat


Tytuł:
Representable dually residuated lattice-ordered monoids
Autorzy:
Kühr, Jan
Tematy:
DRl-monoid
ideal
prime ideal
polar
normal ideal
representable DRl-monoid
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:
https://bibliotekanauki.pl/articles/728960.pdf  Link otwiera się w nowym oknie
Opis:
Dually residuated lattice-ordered monoids (DRl-monoids) generalize lattice-ordered groups and include also some algebras related to fuzzy logic (e.g. GMV-algebras and pseudo BL-algebras). In the paper, we give some necessary and sufficient conditions for a DRl-monoid to be representable (i.e. a subdirect product of totally ordered DRl-monoids) and we prove that the class of representable DRl-monoids is a variety.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Intuitionistic Fuzzy Monoids in an Intuitionistic Fuzzy Finite Automaton with Unique Membership Transition on an Input Symbol
Autorzy:
Jency Priya, K.
Rajaretnam, T.
Tematy:
intuitionistic fuzzy monoid
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:
https://bibliotekanauki.pl/articles/55796405.pdf  Link otwiera się w nowym oknie
Opis:
An intuitionistic fuzzy finite state automaton assigns a membership and nonmembership values in which there is a unique membership transition on an input symbol (IFAUM) is considered. It is proved and illustrated the existence of two different intuitionistic fuzzy monoids F(\(\mathscr{A}\)) and S\(_\mathscr{A}\) from an intuitionistic fuzzy transition function of the given IFAUM \(\mathscr{A}\). Also it is proved that F(\(\mathscr{A}\)) and S\(_\mathscr{A}\) are anti-isomorphic as monoids.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Direct decompositions of dually residuated lattice-ordered monoids
Autorzy:
Rachůnek, Jiří
Šalounová, Dana
Tematy:
DRl-monoid
lattice-ordered monoid
ideal
normal ideal
polar
direct factor
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:
https://bibliotekanauki.pl/articles/728920.pdf  Link otwiera się w nowym oknie
Opis:
The class of dually residuated lattice ordered monoids (DRl-monoids) contains, in an appropriate signature, all l-groups, Brouwerian algebras, MV- and GMV-algebras, BL- and pseudo BL-algebras, etc. In the paper we study direct products and decompositions of DRl-monoids in general and we characterize ideals of DRl-monoids which are direct factors. The results are then applicable to all above mentioned special classes of DRl-monoids.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a complete lattice of retracts of a free monoid generated by three elements
Autorzy:
Foryś, W.
Tematy:
free monoid
retract
lattice
complete lattice
Pokaż więcej
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:
https://bibliotekanauki.pl/articles/255748.pdf  Link otwiera się w nowym oknie
Opis:
We prove that the family of retracts of a free monoid generated by three elements, partially ordered with respect to the inclusion, is a complete lattice.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A semantic construction of two-ary integers
Autorzy:
Ricci, Gabriele
Tematy:
universal matrix
analytic monoid
LISP
semantics
jump
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:
https://bibliotekanauki.pl/articles/729095.pdf  Link otwiera się w nowym oknie
Opis:
To binary trees, two-ary integers are what usual integers are to natural numbers, seen as unary trees. We can represent two-ary integers as binary trees too, yet with leaves labelled by binary words and with a structural restriction. In a sense, they are simpler than the binary trees, they relativize. Hence, contrary to the extensions known from Arithmetic and Algebra, this integer extension does not make the starting objects more complex.
We use a semantic construction to get this extension. This method differs from the algebraic ones, mainly because it is able to find equational features of the extended objects. Two-ary integers turn out to form the free algebra corresponding to the Jónsson-Tarski's "paradoxical" equations. This entails that they have a "sum" operation as well as other operations of higher dimensions.
Two-ary integers can provide LISP memories with convenient direct access jumps and the above low complexity hints at feasible hardware implementations.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On lattice-ordered monoids
Autorzy:
Jasem, Milan
Tematy:
lattice-ordered monoid
normal lattice-ordered monoid
dually residuated lattice-ordered semigroup
direct decomposition
polar
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:
https://bibliotekanauki.pl/articles/728966.pdf  Link otwiera się w nowym oknie
Opis:
In the paper lattice-ordered monoids and specially normal lattice-ordered monoids which are a generalization of dually residuated lattice-ordered semigroups are investigated. Normal lattice-ordered monoids are metricless normal lattice-ordered autometrized algebras. It is proved that in any lattice-ordered monoid A, a ∈ A and na ≥ 0 for some positive integer n imply a ≥ 0. A necessary and sufficient condition is found for a lattice-ordered monoid A, such that the set I of all invertible elements of A is a convex subset of A and A¯ ⊆ I, to be the direct product of the lattice-ordered group I and a lattice-ordered semigroup P with the least element 0.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimal state automata for detecting a β globin gene mutation
Autorzy:
Ferdania, Devi Fitri
Irawati, -
Garminia, Hanni
Akhmaloka, -
Rachmansyah, Kemal Aziez
Tematy:
minimal state automata
syntactic monoid
β-thalassemia
biological sequences
automat stanu minimalnego
monoid syntaktyczny
sekwencja biologiczna
Pokaż więcej
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Powiązania:
https://bibliotekanauki.pl/articles/1838203.pdf  Link otwiera się w nowym oknie
Opis:
Beta-thalassemia is an autosomal recessive blood disorder characterized by abnormalities in the synthesis of β globin. Together with α globin, it is a subunit of globin protein, called hemoglobin, located inside our red blood cells to deliver oxygen from the lungs to all of the tissues throughout our body. Thereby, individuals with β-thalassemia will often feel limp due to a lack of oxygen dissolved in their blood. In this paper, a finite state automaton to detect and classify β globin gene mutations using its DNA sequence is constructed. Finite state automata have a close connection to an algebraic structure, that is, a monoid. Together with the theory of the syntactic monoid, we present a methodology to minimize the number of the internal states of an automaton to have minimal state automata. Therefore, a minimal state automaton can be constructed to detect β globin gene mutation causing the β-thalassemia disease. We have developed a MATLAB program to conduct the appropriate simulations.
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies