Filtern
Volltext vorhanden
- nein (106)
Erscheinungsjahr
Dokumenttyp
- Wissenschaftlicher Artikel (94)
- Monographie/Sammelband (11)
- Dissertation (1)
Gehört zur Bibliographie
- ja (106)
Schlagworte
- linear term (5)
- clone (4)
- linear hypersubstitution (4)
- partial clone (4)
- formula (2)
- linear formula (2)
- linear tree language (2)
- term (2)
- Menger algebra of rank n (1)
- Operation (1)
- algebra of rank n (1)
- coloration of terms (1)
- colored solid varieties (1)
- dht-symmetric category (1)
- formulas (1)
- linear hyperidentity (1)
- linear identity (1)
- multi-hypersubstitutions (1)
- n-ary operation (1)
- n-ary term (1)
- nondeterministic linear hypersubstitution (1)
- partial (1)
- partial Menger (1)
- r-hypersubstitution (1)
- r-term (1)
- superposition (1)
- superposition of n-ary operations and n-ary (1)
- superposition of operations (1)
- terms (1)
- terms and (1)
- theory (1)
Institut
- Institut für Mathematik (106)
Let v be a valuation of terms of type tau, assigning to each term t of type tau a value v(t) greater than or equal to 0. Let k greater than or equal to 1 be a natural number. An identity s approximate to t of type tau is called k- normal if either s = t or both s and t have value greater than or equal to k, and otherwise is called non-k-normal. A variety V of type tau is said to be k-normal if all its identities are k-normal, and non-k-normal otherwise. In the latter case, there is a unique smallest k-normal variety N-k(A) (V) to contain V , called the k-normalization of V. Inthe case k = 1, for the usual depth valuation of terms, these notions coincide with the well-known concepts of normal identity, normal variety, and normalization of a variety. I. Chajda has characterized the normalization of a variety by means of choice algebras. In this paper we generalize his results to a characterization of the k-normalization of a variety, using k-choice algebras. We also introduce the concept of a k-inflation algebra, and for the case that v is the usual depth valuation of terms, we prove that a variety V is k-normal iff it is closed under the formation of k- inflations, and that the k-normalization of V consists precisely of all homomorphic images of k-inflations of algebras in V
Algebra und Diskrete Mathematik gehören zu den wesentlichen Grundlagen der Informatik. Sie sind unverzichtbare Werkzeuge eines jeden Informatikers und spielen daher auch im Studium eine zentrale Rolle. Das Lehrbuch vermittelt anschaulich und leicht nachvollziehbar die wichtigsten algebraischen Grundlagen der Informatik bis hin zur Gleichungstheorie der Universellen Algebra. Zahlreiche Übungsaufgaben und ihre Lösungen helfen dem Leser, den Stoff zu verstehen