Skip to main content
SpringerLink
Log in

Invito alla teoria dei linguaggi formali

  • Conferenze
  • Published:
Rendiconti del Seminario Matematico e Fisico di Milano Aims and scope Submit manuscript

Sommario

La teoria dei linguaggi formali è una nuova disciplina matematica con applicazioni nei settori della linguistica e dell’informatica. Ne vengono presentati i fondamenti e i problemi più significativi nell’intento principale di suscitare interesse per la teoria dei linguaggi nell’ambiente delle matematiche classiche.

Una bibliografia commentata è stata redatta per il lettore che desideri addentrarsi nella letteratura specializzata.

Abstract

Formal language theory is a fairly new mathematical discipline. Its main applications are within linguistics and computer science.

In this paper formal languages main topics are presented. The main purpose is to provide some motivation for the study of this discipline in the world of classic mathematics.

An annotated bibliography is supplied to the reader interested into a deeper knowledge of the literature.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliografia

  • [So]Somalvico M.,Elementi di Teoria della Computabilità e dei problemi. Ibidem.

  • [CDG]Crespi-Reghizzi S., Della Vigna P., Ghezzi C.,Linguaggi formali e Compilatori. Serie di Informatica No. 7 ISEDI, 1978.

  • [HoUl]Hopcroft J., Ullmann J.,Formal Languages and their Relations to Automata. Addison Wesley, 1969.

  • [Gi1]Ginsburgh S.,The mathematical Theory of Context-free Languages. Mac Graw Hill, 1966.

  • [AU]Aho A., Ullmann J.,The Theory of Parsing, Translation and Compiling. Vol. 1, 2 Prentice Hall, 1972.

  • [Gi2]Ginsburg S.,Algebraic and Automata-theoretic Properties of Formal Languages. North-Holland, 1975.

  • [Wo]Wood D.,Grammar and L—forms. Lecture Notes in Computer Science, Vol. 91, Springer Verlag, 1980.

  • [Ha]Harrison M.,Introduction to Formal Language Theory. Addison Wesley, 1978.

  • [Ho U 2]Hopcroft J., Ullmann J.,Introduction to the Theory of Automata, Languages and Computation. Addison Wesley, 1979.

  • [CS]Chomsky N., Schützemberger, The Algebraic Theory of Context-free Languages, in «Computer Programming and Formal Systems» (Braffort e Hirschberg editors). North-Holland, 1963.

  • [BH]Bar Hillel Y.,Language and Information. Reading, Mass., Addison Wesley, 1964.

    MATH  Google Scholar 

  • [F1]Ffloyd R.,Syntactic Analysis and Operator Precedence. «Journal of the Association for Computing Machinery». Vol. 10, 1963.

  • [Kn]Knuth D.,On the translation from Left to Right. «Information and Control», Vol. 8, 1965.

  • [GG]Ginsburg S., Graibach S.,Deterministic Context-free Languages. «Information and Control», Vol. 9, 1966.

  • [MnP]Mc Naughton R., Papert S.,Counter-free Automata. MIT Press, 1971.

  • [Ma]Manna Z.,The Mathematical Theory of Computation. Mac Graw Hill, 1973.

Download references

Author information

Authors and Affiliations

  1. dell’Università di Udine, Udine, Italia

    Dino Mandrioli

Authors
  1. Dino Mandrioli
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

(Conferenza tenuta il 28 aprile 1981)

Lavoro finanziato dal C.N.R.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mandrioli, D. Invito alla teoria dei linguaggi formali. Seminario Mat. e. Fis. di Milano 51, 43–76 (1981). https://doi.org/10.1007/BF02924813

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02924813

Search

Navigation