Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,994,313 papers from all fields of science
Search
Sign In
Create Free Account
Recursive language
Known as:
Undecidable
, Recursive Languages
, Decidable language
Expand
In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
Abstract family of languages
Algorithm
Blum axioms
Chomsky hierarchy
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
TRL Universal Recursive Pyramidal Scheme To Find Any Real Order Sequence Of Primes. (Universal Engineering Series). ISSN 1751-3030
R. Bagadi
2016
Corpus ID: 114073997
TRL Universal Recursive Pyramidal Scheme To Find Any Real Order Sequence Of Primes. (Universal Engineering Series). ISSN 1751…
Expand
Review
2008
Review
2008
Self-Assembly of Decidable Sets ( extended abstract ) ⋆
Matthew J. Patitz
,
Scott M. Summers
2008
Corpus ID: 13894557
The theme of this paper is computation in Winfree’s Abstract Tile Assembly Model (TAM). We first review a simple, well-known tile…
Expand
2000
2000
An analytical model for delay and crosstalk estimation with application to decoupling
M. Becer
,
I. Hajj
Proceedings IEEE First International Symposium…
2000
Corpus ID: 27209901
The impact of interconnect coupling, in the form of delay and crosstalk, in deep submicron integrated circuit design is…
Expand
1997
1997
Defined Topological Relations in Description Logics
C. Lutz
,
Ralf Möller
Description Logics
1997
Corpus ID: 2098917
In this paper we extend the language ALC(D) by a new operator which allows one to deene roles on behalf of properties of objects…
Expand
1990
1990
Nonrecursive and recursive stack filters and their filtering behavior
Peter D. Wendt
IEEE Transactions on Acoustics Speech and Signal…
1990
Corpus ID: 28063082
It is shown that stack filters that are based on symmetric threshold functions and preserve median-filter roots make all inputs…
Expand
1975
1975
Picture Reconstruction from Projections
R. Kashyap
,
M. Mittal
IEEE transactions on computers
1975
Corpus ID: 38094618
In this paper we will present two methods for the reronstruction of a two-dimensional picture from its one-dimensional…
Expand
1975
1975
Formal properties of recursive Virtual Machine architectures.
Gérald Belpaire
,
N. Hsu
Symposium on Operating Systems Principles
1975
Corpus ID: 7825462
A formal model of hardware/software architectures is developed and applied to Virtual Machine Systems. Results are derived on the…
Expand
1974
1974
An Algorithm for High-Speed Digital Filters
W. Little
IEEE transactions on computers
1974
Corpus ID: 36385582
This paper describes an algorithm that is suitable for fast implementations of nonrecursive and recursive digital filters. High…
Expand
1974
1974
Stability Criterion for Recursive Filters
P. Pistor
IBM Journal of Research and Development
1974
Corpus ID: 13077076
A new criterion is derived that relates the stability of two-dimensional recursive filters to the properties of its cepstrum. It…
Expand
1970
1970
OPTIMUM DESIGN OF TWO-DIMENSIONAL NONRECURSIVE DIGITAL FILTERS.
M. Ekstrom
,
V. Algazi
1970
Corpus ID: 62297904