|
Baum–Sweet Sequence
In mathematics the Baum–Sweet sequence is an infinite automatic sequence of 0s and 1s defined by the rule: :''b''''n'' = 1 if the binary representation of ''n'' contains no block of consecutive 0s of odd length; :''b''''n'' = 0 otherwise; for ''n'' ≥ 0. For example, ''b''4 = 1 because the binary representation of 4 is 100, which only contains one block of consecutive 0s of length 2; whereas ''b''5 = 0 because the binary representation of 5 is 101, which contains a block of consecutive 0s of length 1. Starting at ''n'' = 0, the first few terms of the Baum–Sweet sequence are: :1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1 ... Historical motivation The properties of the sequence were first studied by Leonard E. Baum and Melvin M. Sweet in 1976. In 1949, Khinchin conjectured that there does not exist a non-quadratic algebraic real number having bounded partial quotients in its continued fraction expansion. A counterexample to this conjecture is still not known. Baum and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automatic Sequence
In mathematics and theoretical computer science, an automatic sequence (also called a ''k''-automatic sequence or a ''k''-recognizable sequence when one wants to indicate that the base of the numerals used is ''k'') is an infinite sequence of terms characterized by a finite automaton. The ''n''-th term of an automatic sequence ''a''(''n'') is a mapping of the final state reached in a finite automaton accepting the digits of the number ''n'' in some fixed base ''k''.Allouche & Shallit (2003) p. 152Berstel et al (2009) p. 78 An automatic set is a set of non-negative integers ''S'' for which the sequence of values of its characteristic function χ''S'' is an automatic sequence; that is, ''S'' is ''k''-automatic if χ''S''(''n'') is ''k''-automatic, where χ''S''(''n'') = 1 if ''n'' \in ''S'' and 0 otherwise. Definition Automatic sequences may be defined in a number of ways, all of which are equivalent. Four common definitions are as follows. Automata-theore ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leonard E
Leonard or ''Leo'' is a common English masculine given name and a surname. The given name and surname originate from the Old High German ''Leonhard'' containing the prefix ''levon'' ("lion") from the Greek Λέων ("lion") through the Latin '' Leo,'' and the suffix ''hardu'' ("brave" or "hardy"). The name has come to mean "lion strength", "lion-strong", or "lion-hearted". Leonard was the name of a Saint in the Middle Ages period, known as the patron saint of prisoners. Leonard is also an Irish origin surname, from the Gaelic ''O'Leannain'' also found as O'Leonard, but often was anglicised to just Leonard, consisting of the prefix ''O'' ("descendant of") and the suffix ''Leannan'' ("lover"). The oldest public records of the surname appear in 1272 in Huntingdonshire, England, and in 1479 in Ulm, Germany. Variations The name has variants in other languages: * Leen, Leendert, Lenard (Dutch) * Lehnertz, Lehnert (Luxembourgish) * Len (English) * :hu:Lénárd (Hungarian) * Len ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aleksandr Khinchin
Aleksandr Yakovlevich Khinchin (russian: Алекса́ндр Я́ковлевич Хи́нчин, french: Alexandre Khintchine; July 19, 1894 – November 18, 1959) was a Soviet mathematician and one of the most significant contributors to the Soviet school of probability theory. Life and career He was born in the village of Kondrovo, Kaluga Governorate, Russian Empire. While studying at Moscow State University, he became one of the first followers of the famous Luzin school. Khinchin graduated from the university in 1916 and six years later he became a full professor there, retaining that position until his death. Khinchin's early works focused on real analysis. Later he applied methods from the metric theory of functions to problems in probability theory and number theory. He became one of the founders of modern probability theory, discovering the law of the iterated logarithm in 1924, achieving important results in the field of limit theorems, giving a definition of a s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hensel's Lemma
In mathematics, Hensel's lemma, also known as Hensel's lifting lemma, named after Kurt Hensel, is a result in modular arithmetic, stating that if a univariate polynomial has a simple root modulo a prime number , then this root can be ''lifted'' to a unique root modulo any higher power of . More generally, if a polynomial factors modulo into two coprime polynomials, this factorization can be lifted to a factorization modulo any higher power of (the case of roots corresponds to the case of degree for one of the factors). By passing to the "limit" (in fact this is an inverse limit) when the power of tends to infinity, it follows that a root or a factorization modulo can be lifted to a root or a factorization over the -adic integers. These results have been widely generalized, under the same name, to the case of polynomials over an arbitrary commutative ring, where is replaced by an ideal, and "coprime polynomials" means "polynomials that generate an ideal containing ". Hensel' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite State Machine
A finite-state machine (FSM) or finite-state automaton (FSA, plural: ''automata''), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number of '' states'' at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a ''transition''. An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition. Finite-state machines are of two types— deterministic finite-state machines and non-deterministic finite-state machines. A deterministic finite-state machine can be constructed equivalent to any non-deterministic one. The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions depending on a sequence of events with which they are presented. Simple examples are vending machines, which dispense p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
String Substitution
In computer science, in the area of formal language theory, frequent use is made of a variety of string functions; however, the notation used is different from that used for computer programming, and some commonly used functions in the theoretical realm are rarely used when programming. This article defines some of these basic terms. Strings and languages A string is a finite sequence of characters. The empty string is denoted by \varepsilon. The concatenation of two string s and t is denoted by s \cdot t, or shorter by s t. Concatenating with the empty string makes no difference: s \cdot \varepsilon = s = \varepsilon \cdot s. Concatenation of strings is associative: s \cdot (t \cdot u) = (s \cdot t) \cdot u. For example, (\langle b \rangle \cdot \langle l \rangle) \cdot (\varepsilon \cdot \langle ah \rangle) = \langle bl \rangle \cdot \langle ah \rangle = \langle blah \rangle. A language is a finite or infinite set of strings. Besides the usual set operations like union, inter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automatic Sequence
In mathematics and theoretical computer science, an automatic sequence (also called a ''k''-automatic sequence or a ''k''-recognizable sequence when one wants to indicate that the base of the numerals used is ''k'') is an infinite sequence of terms characterized by a finite automaton. The ''n''-th term of an automatic sequence ''a''(''n'') is a mapping of the final state reached in a finite automaton accepting the digits of the number ''n'' in some fixed base ''k''.Allouche & Shallit (2003) p. 152Berstel et al (2009) p. 78 An automatic set is a set of non-negative integers ''S'' for which the sequence of values of its characteristic function χ''S'' is an automatic sequence; that is, ''S'' is ''k''-automatic if χ''S''(''n'') is ''k''-automatic, where χ''S''(''n'') = 1 if ''n'' \in ''S'' and 0 otherwise. Definition Automatic sequences may be defined in a number of ways, all of which are equivalent. Four common definitions are as follows. Automata-theore ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
