Università di Pisa
Sistema bibliotecario di ateneo

Logical Formalizations of Syntactical Properties (Extended Abstract)

Manca, Vincenzo (1997) Logical Formalizations of Syntactical Properties (Extended Abstract). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (85Kb)


    In this paper first order logic is used for expressing syntax of formal languages. A model Syn is introduced and it is shown that whitin it syntactic relations and classes of languages are representable by means of first order formulae. The class of Sigma*(1) formulae is defined as an extension of arithmetical Sigma(1) formulae; then, a theory is considered where many syntactical notions can be developed in terms of axiomatic representability. This logical approach seems adequate to analyze and to integrate in a unique framework several grammatical models that emerge in the search for new computational paradigms.

    Item Type: Book
    Uncontrolled Keywords: Formal language theory, Grammatical models, Logical formalization, Formal syntax
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 23 Jan 2015 11:11
    Last Modified: 23 Jan 2015 11:11
    URI: http://eprints.adm.unipi.it/id/eprint/1975

    Repository staff only actions

    View Item