Characterizations of re languages starting from internal contextual languages Footnote^∗

^∗Research supported by the Academy of Finland, project 11281, and the EPSPRIT Basic Research Working Group ASMICS II

References

• Baker , B.S. and Book , R.V. 1974 . Reversal-bounded multi pushdown machines . J. Comput. Systems Set , 8 : 315 – 332 .
   Google Scholar
• Calude , C. and P[acaron]un , Gh. 1981 . Global syntax and semantics for recursively enumerable languages . Fundamenta Informaticae , 4 ( 2 ) : 254 – 254 .
   Google Scholar
• Ehrenfeucht A. Mateescu A. Paun Gh. Rozenberg G. Salomaa A. On representing RE languages by one-sided contextual languages, Acta Cybernetica to appear
   Google Scholar
• Ehrenfeucht A. Paun Gh. Rozenberg G. On representing recursively enumerable languages by internal contextual languages,Theoretical Computer Sci to appear
   Google Scholar
• Ehrenfeucht , A. , P[acaron]un , Gh. and Rozenberg , G. 1996 . “ Contextual grammars ” . In Handbook of Formal Languages , Edited by: Rozenberg , G. and Salomaa , A. Berlin : Springer-Verlag . Heidelberg
   Google Scholar
• Engelfriet , J. and Rozenberg , G. 1980 . Fixed point languages and representations of recursively enumerable languages . Journal of the ACM , 27 ( 3 ) : 499 – 518 .
   Web of Science ®Google Scholar
• Latteux , M. , Leguy , B. and Ratoandromanana , B. 1985 . The family of one-counter languages is closed under quotient . Acta Informatics , 22 ( 3 ) : 579 – 588 .
   Google Scholar
• Marcus , S. 1969 . Contextual grammars . Rev. Roum. Math. Pures Appl , 14 ( 3 ) : 1525 – 1534 .
   Google Scholar
• Martin-Vide , C. , Mateescu , A. , Miquel-Verges , J. and P[acaron]un , Gh. . Contextual grammars with maximal, minimal and scattered use of contexts . BISFAI, 95 Conf . Jerusalem. Edited by: Kappel , M. and Shamir , E. pp. 132 – 142 .
   Google Scholar
• Martin-Vide , C. , Miquel-Verges , J. and P[acaron]un , Gh. 1995 . “ Contextual grammars with depth-first derivation ” . In Tenth Twente Workshop on Language Technology , 225 – 233 . Twente .
   Google Scholar
• P[acaron]un , Gh. 1982 . Contextual Grammars , Bucharest : The Publ. House of the Romanian Academy of Sciences . in Romanian
   Google Scholar
• P[acaron]un , Gh. 1994 . Marcus contextual grammars. After 25 years . Bulletin of EATCS , 52 : 263 – 273 .
   Google Scholar
• P[acaron]un Gh. Contextual Grammars.From Natural Languages to Formal Languages and Back 362, pag.,forthcoming
   Google Scholar
• P[acaron]un , Gh. and Nguyen , X.M. 1980 . On the inner contextual grammars . Rev. Roum. Math. Pures Appl , 25 : 641 – 651 .
   Google Scholar
• P[acaron]un , Gh. , Rozenberg , G. and Salomaa , A. 1994 . “ Contextual grammars:erasing, determinism, one-sided contexts ” . In Developments in Language Theory , Edited by: Rozenberg , G. and Salomaa , A. 370 – 388 . Singapore : World Sci. Publ .
   Google Scholar
• P[acaron]un , Gh. , Rozenberg , G. and Salomaa , A. 1994 . “ Marcus contextual grammars:modularity and leftmost derivation ” . In Mathematical Aspects of Natural and Formal Languages , Edited by: P[acaron]un , Gh . 375 – 392 . Singapore : World Sci. Publ .
   Google Scholar
• P[acaron]un , Gh. , Rozenberg , G. and Salomaa , A. 1996 . Contextual grammars:parallelism and blocking of derivation . Fundamenta Inform , 25 : 381 – 397 .
   Google Scholar
• Rozenberg , G. and Salomaa , A. 1996 . Handbook of Formal Languages , Vol. 3 , Berlin : Springer-Verlag . Heidelberg
   Google Scholar
• Salomaa , A. 1973 . Formal Languages , London, New York : Academic Press .
   Google Scholar
• Turing , A.M. 1936 . On computable numbers, with an application to the Entscheidungs-problem . Proc. London Math. Soc, Ser.2 , 42 : 230 – 265 . a correctionn 43, 544–546
   Web of Science ®Google Scholar