UnipiEprints
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)

    Abstract

    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