@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00606778v2> a dcat:Dataset ;
    dct:description """
              We describe a polynomial procedure which, given a visibly pushdown automaton that accepts only well-nested words, returns an equivalent visibly pushdown automaton that is trimmed. We also show that this procedure can be applied to weighted visibly pushdown automata such as visibly pushdown transducers.
            """ ;
    dct:identifier "hal-00606778" ;
    dct:issued "2026-05-23T03:58:40.677772"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-23T03:58:40.677777"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "A polynomial procedure for trimming visibly pushdown automata" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00606778v2/resource/e91f0c6c-083c-49a4-bdc4-189e7a64e711> ;
    dcat:keyword "infoeu-reposemanticsreport",
        "infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl",
        "reports",
        "trimming",
        "visibily-pushdown-automata" ;
    dcat:landingPage <https://hal.science/hal-00606778> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00606778v2/resource/e91f0c6c-083c-49a4-bdc4-189e7a64e711> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-23T03:58:40.719757"^^xsd:dateTime ;
    dct:modified "2026-05-23T03:58:40.660555"^^xsd:dateTime ;
    dct:title "A polynomial procedure for trimming visibly pushdown automata" ;
    dcat:accessURL <https://hal.science/hal-00606778> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://hal.science/hal-00606778> a foaf:Document .