Characterizations of recursively enumerable languages by means of insertion grammars

Author： Martin-Vide C. Paun G. Salomaa A.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.205, Iss.1, 1998-08, pp. : 195-205

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Homomorphic characterizations of recursively enumerable languages with very small language classes

By Okawa S. Hirose S.

Theoretical Computer Science, Vol. 250, Iss. 1, 2001-01 ,pp. : 55-69

Elsevier

Access to resources Recommend Favorite

On representing recursively enumerable languages by internal contextual languages

By Ehrenfeucht A. Paun G. Rozenberg G.

Theoretical Computer Science, Vol. 205, Iss. 1, 1998-08 ,pp. : 61-83

Elsevier

Access to resources Recommend Favorite

Characterizations of rational -languages by means of right congruences

By Van D.L. Le Saec B. Litovsky I.

Theoretical Computer Science, Vol. 143, Iss. 1, 1995-07 ,pp. : 1-21

Elsevier

Access to resources Recommend Favorite

PC grammar systems with five context-free components generate all recursively enumerable languages

By Csuhaj-Varju E. Paun G. Vaszil G.

Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. : 785-794

Elsevier

Access to resources Recommend Favorite

Most general first order theorems are not recursively enumerable

By Schurz G.

Theoretical Computer Science, Vol. 147, Iss. 1, 1995-08 ,pp. : 149-163

Elsevier

Access to resources Recommend Favorite