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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1968-2018
0519682018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from… (More)
Is this relevant?
2010
2010
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1998
1998
We study learning of indexable families of recursive languages from good examples. We show that this approach can be considerably… (More)
Is this relevant?
1996
1996
The present paper deals with the co-learnability of enumerable families L of uniformly recursive languages from positive data… (More)
Is this relevant?
1996
1996
In this paper, we emphasize the differences of grammar families and their properties versus language families and their… (More)
Is this relevant?
Review
1995
Review
1995
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Motivated by the problem of test pattern generation in digital circuits, this paper presents a novel technique called recursive… (More)
  • figure 2
  • figure 5
  • figure 6
  • table VI
  • table V
Is this relevant?
1993
1993
In the present paper we study the learnability of enumerable families L of uniformly recursive languages in dependence on the… (More)
Is this relevant?
1975
1975
This paper considers simple LISP-like languages for the recursive definition of functions, focusing upon the connections between… (More)
  • figure 2.2
  • figure 4.3
  • figure 4.2
  • figure 4.1
  • figure 6.1
Is this relevant?
1974
1974
In this paper, we provide a simple recursive programming language with a semantics and a formal proof system, along the lines of… (More)
Is this relevant?