Skip to search formSkip to main contentSkip to account menu

Automatic sequence

Known as: Cobham's theorem, Cobham–Semenov theorem, Cobham-Semenov theorem 
In mathematics and theoretical computer science, an automatic sequence (called a k-automatic sequence when one wants to indicate that the base of the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Büchi arithmeticDeterministic finite automatonFixed point (mathematics)Free monoid

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Common factors in automatic and Sturmian sequences
In this short note we show that a k-automatic sequence and a Sturmian sequence cannot have arbitrarily large factors in common. 
2014
2014
communication channel automatic set method of Wireless room control system
The invention to be in particular, a radio each room control system for the rotary switch for the communication frequency setting… 
2011
2011
Automatically set method for destination of navigator and recording medium
The invention relates to an automatically set method for a destination of a navigator and a recording medium. The automatically… 
2006
2006
MSP: A Novel Session Maintenance Protocol
In this paper, we propose a new session maintenance protocol called managed session protocol (MSP). It provides services such as… 
2005
2005
Automatic determination of the parameters of the imaging geometry
Device 1 has an input 2 to receive the appropriate source image data of the object. Core of the device 1 loads the image data… 
2002
2002
Using Genetic Algorithm Based Variable Selection to Improve Neural Network Models for Real-World Systems
Real-world systems are often modeled by sampling sensor data taken during system operation. System states may not be all known or… 
1996
1996
Biosystematics of Australian mygalomorph spiders: description of a new species of Missulena from southwestern Australia (Araneae: Mygalomorphae: Actinopodidae)
A new species of Missulena from west of Albany, southwestern Australia is described and notes on its biology presented. Missulena… 
Review
1984
Review
1984
Review of: Interpolation of linear operators by S.G. Kreĭn, Ju.I. Petunin, E.M. Semenov
1958
1958
A Prediction of the Future Machinery of Automation
Based on the past experience of a company engaged in this field, their own results and the results of others are assessed… 
1947
1947
The Annals of the Computation Laboratory of Harvard University