{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:HLR3WHJTR3IH75LLC2PXUHXHMS","short_pith_number":"pith:HLR3WHJT","schema_version":"1.0","canonical_sha256":"3ae3bb1d338ed07ff56b169f7a1ee764988b91d4e228d9658f8a40b95ddcfd35","source":{"kind":"arxiv","id":"1705.00984","version":1},"attestation_state":"computed","paper":{"title":"Generalizing input-driven languages: theoretical and practical benefits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Dino Mandrioli, Matteo Pradella","submitted_at":"2017-05-02T14:09:28Z","abstract_excerpt":"Regular languages (RL) are the simplest family in Chomsky's hierarchy. Thanks to their simplicity they enjoy various nice algebraic and logic properties that have been successfully exploited in many application fields. Practically all of their related problems are decidable, so that they support automatic verification algorithms. Also, they can be recognized in real-time.\n  Context-free languages (CFL) are another major family well-suited to formalize programming, natural, and many other classes of languages; their increased generative power w.r.t. RL, however, causes the loss of several closu"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1705.00984","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-05-02T14:09:28Z","cross_cats_sorted":[],"title_canon_sha256":"86f3e5a3dea2583c3063ebe88151032213be9762a6d55459f442e038792a35fa","abstract_canon_sha256":"ff05227e9334e39b843a04927d5f4d7ffd713465816beac6657a4f225e1393ee"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:09.172545Z","signature_b64":"FBQKlCrrTDjrRX2uhWY3YtMgLCYJ7Kr64RC26gfKyz1DekamtURuIlizUPtf3Uqu6Lz/7l5qa2ACMXUBylzVBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ae3bb1d338ed07ff56b169f7a1ee764988b91d4e228d9658f8a40b95ddcfd35","last_reissued_at":"2026-05-18T00:45:09.172022Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:09.172022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Generalizing input-driven languages: theoretical and practical benefits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Dino Mandrioli, Matteo Pradella","submitted_at":"2017-05-02T14:09:28Z","abstract_excerpt":"Regular languages (RL) are the simplest family in Chomsky's hierarchy. Thanks to their simplicity they enjoy various nice algebraic and logic properties that have been successfully exploited in many application fields. Practically all of their related problems are decidable, so that they support automatic verification algorithms. Also, they can be recognized in real-time.\n  Context-free languages (CFL) are another major family well-suited to formalize programming, natural, and many other classes of languages; their increased generative power w.r.t. RL, however, causes the loss of several closu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.00984","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1705.00984","created_at":"2026-05-18T00:45:09.172111+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.00984v1","created_at":"2026-05-18T00:45:09.172111+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.00984","created_at":"2026-05-18T00:45:09.172111+00:00"},{"alias_kind":"pith_short_12","alias_value":"HLR3WHJTR3IH","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_16","alias_value":"HLR3WHJTR3IH75LL","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_8","alias_value":"HLR3WHJT","created_at":"2026-05-18T12:31:18.294218+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS","json":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS.json","graph_json":"https://pith.science/api/pith-number/HLR3WHJTR3IH75LLC2PXUHXHMS/graph.json","events_json":"https://pith.science/api/pith-number/HLR3WHJTR3IH75LLC2PXUHXHMS/events.json","paper":"https://pith.science/paper/HLR3WHJT"},"agent_actions":{"view_html":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS","download_json":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS.json","view_paper":"https://pith.science/paper/HLR3WHJT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.00984&json=true","fetch_graph":"https://pith.science/api/pith-number/HLR3WHJTR3IH75LLC2PXUHXHMS/graph.json","fetch_events":"https://pith.science/api/pith-number/HLR3WHJTR3IH75LLC2PXUHXHMS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS/action/storage_attestation","attest_author":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS/action/author_attestation","sign_citation":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS/action/citation_signature","submit_replication":"https://pith.science/pith/HLR3WHJTR3IH75LLC2PXUHXHMS/action/replication_record"}},"created_at":"2026-05-18T00:45:09.172111+00:00","updated_at":"2026-05-18T00:45:09.172111+00:00"}