Results 211 to 220 of about 5,181 (248)
Some of the next articles are maybe not open access.
International Journal of Computer Mathematics, 1997
The present paper investigates the descriptional complexity of multi-sequential grammars with respect to the number of nonterminals. This investigation demonstrates that the family of recursively enumerable languages is characterized by six-nonterminal multi-sequential grammars.
Alexander Meduna
exaly +2 more sources
The present paper investigates the descriptional complexity of multi-sequential grammars with respect to the number of nonterminals. This investigation demonstrates that the family of recursively enumerable languages is characterized by six-nonterminal multi-sequential grammars.
Alexander Meduna
exaly +2 more sources
Scattered context grammars generate any recursively enumerable language with two nonterminals
Information Processing Letters, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
György Vaszil
exaly +2 more sources
On characterizations of recursively enumerable languages
Acta Informatica, 1990\textit{V. Geffert} [Theor. Comput. Sci. 62, 235-249 (1988; Zbl 0664.68075)] has shown that each recursively enumerable language L over \(\Sigma\) can be expressed in the form \(L=\{h(x)^{-1}g(x)|\) x in \(\Delta^+\}\cap \Sigma^*\) where \(\Delta\) is an alphabet and g, h is a pair of morphisms.
Michel Latteux, Paavo Turakainen
openaire +2 more sources
A note on the recursive enumerability of some classes of recursively enumerable languages
Information Sciences, 1978Abstract An elementary proof is presented for the fact that the class of infinite recursive languages is not recursively enumerable. Its relevance for contemporary linguistics and computer science is explained.
Peter van Emde Boas, Paul M. B. Vitányi
openaire +2 more sources
Flow languages equal recursively enumerable languages
Acta Informatica, 1981Recently, A.C. Shaw introduced a new class of expressions called flow expressions, and conjectured that the formal descriptive power of flow expressions lies somewhat below context-sensitive grammers. In this paper, we give a negative answer for his conjecture, that is, we show that all recursively enumerable languages may be denoted by flow ...
Toshiro Araki, Nobuki Tokura
openaire +2 more sources
Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages
Journal of Intelligent & Fuzzy Systems, 2016There are several variations of fuzzy Turing machines in the literature, many of them require a t-norm in order to establish their accepted language. This paper generalize the concept of non-deterministic fuzzy Turing machine - NTFM, replacing the t-norm operator for several aggregation functions.
Antonio Diego Silva Farias +3 more
openaire +1 more source
Global Syntax and Semantics for Recursively Enumerable Languages
Fundamenta Informaticae, 1981According to (Benson, 1970), a syntax is a category of strings and derivations (modulo similarity) between them. In this paper the semantic domain is an elementary topes. Thus, an interpretation of a syntax is a cofunctor taking strigs to products and derivations to morphisms.
Cristian Calude, Gheorghe Paun
openaire +2 more sources
On Conservative Learning of Recursively Enumerable Languages
2013Conservative partial learning is a variant of partial learning whereby the learner, on a text for a target language L, outputs one index e with L = W e infinitely often and every further hypothesis d is output only finitely often and satisfies \(L \not\subseteq W_d\).
Ziyuan Gao +2 more
openaire +1 more source
Grammar systems as language analyzers and recursively enumerable languages
1999We consider parallel communicating grammar systems which consist of several grammars and perform derivation steps, where each of the grammars works in a parallel and synchronized manner on its own sentential form, and communication steps, where a transfer of sentential forms is done.
Henning Bordihn +2 more
openaire +1 more source
J. Autom. Lang. Comb., 1999
We prove that every recursively enumerable language can be generated by a programmed grammar with context-free core rules using unconditional transfer with left-most derivation of type 3 or type 2. Interestingly, we have to give a non-constructive proof of the first mentioned universality result based on Higman's lemma, since finding a transformation ...
Henning Fernau, Frank Stephan 0001
openaire +2 more sources
We prove that every recursively enumerable language can be generated by a programmed grammar with context-free core rules using unconditional transfer with left-most derivation of type 3 or type 2. Interestingly, we have to give a non-constructive proof of the first mentioned universality result based on Higman's lemma, since finding a transformation ...
Henning Fernau, Frank Stephan 0001
openaire +2 more sources