Skip to search formSkip to main contentSkip to account menu

Recursive language

Known as: Undecidable, Recursive Languages, Decidable language 
In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive… 
Wikipedia (opens in a new tab)

Related topics

Related topics

38 relations
Abstract family of languagesAlgorithmBlum axiomsChomsky hierarchy

Broader (2)

Computability theoryTheory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
High-speed recursive digital filter realization
Pipeline techniques have been successfully applied to speeding up processing in both general- and special-purpose digital… 
2000
2000
An analytical model for delay and crosstalk estimation with application to decoupling
  • M. BecerI. 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… 
1994
1994
Learning Languages by Collecting Cases and Tuning Parameters
We investigate the problem of case-based learning of formal languages. Case-based reasoning and learning is a currently booming… 
1992
1992
Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences
1990
1990
Nonrecursive and recursive stack filters and their filtering behavior
It is shown that stack filters that are based on symmetric threshold functions and preserve median-filter roots make all inputs… 
Highly Cited
1983
Highly Cited
1983
A short proof of two recently discovered independence results using recursion theoretic methods
Recently L. A. S. Kirby and J. Paris showed that a theorem of R L. Goodstein cannot be proved in Peano's Arithmetic. We give an… 
1975
1975
Picture Reconstruction from Projections
In this paper we will present two methods for the reronstruction of a two-dimensional picture from its one-dimensional… 
1974
1974
An Algorithm for High-Speed Digital Filters
This paper describes an algorithm that is suitable for fast implementations of nonrecursive and recursive digital filters. High… 
1974
1974
Stability Criterion for Recursive Filters
A new criterion is derived that relates the stability of two-dimensional recursive filters to the properties of its cepstrum. It… 
Highly Cited
1968
Highly Cited
1968
Nonrecursive digital filters: Design methods for achieving specifications on frequency response
A simple and effective method for designing a nonrecursive digital filter is described. This method is constructed so that it is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)