{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:QWUUF4VFT33FI4TLR4T3U5UCWL","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5e0321bccf15daa96c393eb2e7a2edb6bdbb6d4a02e794e26d4cf44b93a89575","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:50Z","title_canon_sha256":"41412567ace664131c7dcc5ac097e979ee34ed78a4adcd29cd7e738ad9ff8973"},"schema_version":"1.0","source":{"id":"1107.0026","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.0026","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"arxiv_version","alias_value":"1107.0026v1","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.0026","created_at":"2026-05-18T04:19:02Z"},{"alias_kind":"pith_short_12","alias_value":"QWUUF4VFT33F","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QWUUF4VFT33FI4TL","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QWUUF4VF","created_at":"2026-05-18T12:26:39Z"}],"graph_snapshots":[{"event_id":"sha256:3ba0722cdac2d0e818f364d710bee3e93690b1601090261d6b48c73ad9c87e1e","target":"graph","created_at":"2026-05-18T04:19:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We  propose  a  formalism  for  representation  of  finite  languages, referred to  as the class of IDL-expressions,  which combines concepts that were  only considered in  isolation in existing  formalisms.  The suggested  applications  are  in  natural  language  processing,  more specifically  in surface  natural language  generation and  in machine translation, where a sentence is  obtained by first generating a large set of candidate sentences, represented  in a compact way, and then by filtering  such a  set  through  a parser.   We  study several  formal properties of IDL-expressions an","authors_text":"G. Satta, M. J. Nederhof","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:50Z","title":"IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.0026","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8629d6a073dd84bdc0c71b374212e54ad8556c9f0701884baecb18c84e823998","target":"record","created_at":"2026-05-18T04:19:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5e0321bccf15daa96c393eb2e7a2edb6bdbb6d4a02e794e26d4cf44b93a89575","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-30T20:33:50Z","title_canon_sha256":"41412567ace664131c7dcc5ac097e979ee34ed78a4adcd29cd7e738ad9ff8973"},"schema_version":"1.0","source":{"id":"1107.0026","kind":"arxiv","version":1}},"canonical_sha256":"85a942f2a59ef654726b8f27ba7682b2faab434e8dde849c05372acb64d64c3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85a942f2a59ef654726b8f27ba7682b2faab434e8dde849c05372acb64d64c3a","first_computed_at":"2026-05-18T04:19:02.956163Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:19:02.956163Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jSjnO+58DYSDTlCOLdR7TwuNGwCAJFUVmsX09KWelXYTWK23qznehWbpGChA0qGdvkV+bON10SzERKHKSSxVCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:19:02.956906Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.0026","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8629d6a073dd84bdc0c71b374212e54ad8556c9f0701884baecb18c84e823998","sha256:3ba0722cdac2d0e818f364d710bee3e93690b1601090261d6b48c73ad9c87e1e"],"state_sha256":"8e38255b653217accd6d61427855ef46044d6dbaaf08e3710c6ba155acb7a65b"}