1,721,124 research outputs found

    Higher-order operator precedence languages

    Full text link
    Floyd's Operator Precedence (OP) languages are a deterministic context-free family having many desirable properties. They are locally and parallely parsable, and languages having a compatible structure are closed under Boolean operations, concatenation and star; they properly include the family of Visibly Pushdown (or Input Driven) languages. OP languages are based on three relations between any two consecutive terminal symbols, which assign syntax structure to words. We extend such relations to k-Tuples of consecutive terminal symbols, by using the model of strictly locally testable regular languages of order k ⥠3. The new corresponding class of Higher-order Operator Precedence languages (HOP) properly includes the OP languages, and it is still included in the deterministic (also in reverse) context free family. We prove Boolean closure for each subfamily of structurally compatible HOP languages. In each subfamily, the top language is called max-language. We show that such languages are defined by a simple cancellation rule and we prove several properties, in particular that max-languages make an infinite hierarchy ordered by parameter k. HOP languages are a candidate for replacing OP languages in the various applications where they have have been successful though sometimes too restrictive

    CCDC 2004185: Experimental Crystal Structure Determination

    No full text
    Related Article: Romain Costil, Stefano Crespi, Lukas Pfeifer, Ben L. Feringa|2020|Chem.-Eur.J.|26|7783|doi:10.1002/chem.20200205

    CCDC 2004186: Experimental Crystal Structure Determination

    No full text
    Related Article: Romain Costil, Stefano Crespi, Lukas Pfeifer, Ben L. Feringa|2020|Chem.-Eur.J.|26|7783|doi:10.1002/chem.20200205

    CCDC 2004185: Experimental Crystal Structure Determination

    No full text
    Related Article: Romain Costil, Stefano Crespi, Lukas Pfeifer, Ben L. Feringa|2020|Chem.-Eur.J.|26|7783|doi:10.1002/chem.20200205

    CCDC 2004186: Experimental Crystal Structure Determination

    No full text
    Related Article: Romain Costil, Stefano Crespi, Lukas Pfeifer, Ben L. Feringa|2020|Chem.-Eur.J.|26|7783|doi:10.1002/chem.20200205

    CCDC 2001176: Experimental Crystal Structure Determination

    No full text
    Related Article: Karsten Donabauer, Kathiravan Murugesan, Urša Rozman, Stefano Crespi, Burkhard König|2020|Chem.-Eur.J.|26|12945|doi:10.1002/chem.20200300
    corecore