{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:ST7T7BYUG53ZARX5UPATQDZJ43","short_pith_number":"pith:ST7T7BYU","schema_version":"1.0","canonical_sha256":"94ff3f871437779046fda3c1380f29e6e7aeaa27d15663964a6547f84369fda8","source":{"kind":"arxiv","id":"1302.5181","version":1},"attestation_state":"computed","paper":{"title":"Basic Classes of Grammars with Prohibition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.FL","authors_text":"Mark Burgin","submitted_at":"2013-02-21T04:58:48Z","abstract_excerpt":"A practical tool for natural language modeling and development of human-machine interaction is developed in the context of formal grammars and languages. A new type of formal grammars, called grammars with prohibition, is introduced. Grammars with prohibition provide more powerful tools for natural language generation and better describe processes of language learning than the conventional formal grammars. Here we study relations between languages generated by different grammars with prohibition based on conventional types of formal grammars such as context-free or context sensitive grammars. "},"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":"1302.5181","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-02-21T04:58:48Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"7bfff02ff790d809a5406538587a67c857489c6ee46353c19cee398f61c55a16","abstract_canon_sha256":"f388f1bac0373114a44b5c129a0a50209b1ccb3f572b278d6a9bf246e9685a7a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:59.362498Z","signature_b64":"s04NlMKS5V5cUIjG8hGiEDwOE+6ESo/DsLELw4k7BLydkS34e7iWHdhzT5DPxrnb6NLstqFCSHw092+CYoPgCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94ff3f871437779046fda3c1380f29e6e7aeaa27d15663964a6547f84369fda8","last_reissued_at":"2026-05-18T03:32:59.361380Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:59.361380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Basic Classes of Grammars with Prohibition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.FL","authors_text":"Mark Burgin","submitted_at":"2013-02-21T04:58:48Z","abstract_excerpt":"A practical tool for natural language modeling and development of human-machine interaction is developed in the context of formal grammars and languages. A new type of formal grammars, called grammars with prohibition, is introduced. Grammars with prohibition provide more powerful tools for natural language generation and better describe processes of language learning than the conventional formal grammars. Here we study relations between languages generated by different grammars with prohibition based on conventional types of formal grammars such as context-free or context sensitive grammars. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5181","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":"1302.5181","created_at":"2026-05-18T03:32:59.361548+00:00"},{"alias_kind":"arxiv_version","alias_value":"1302.5181v1","created_at":"2026-05-18T03:32:59.361548+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5181","created_at":"2026-05-18T03:32:59.361548+00:00"},{"alias_kind":"pith_short_12","alias_value":"ST7T7BYUG53Z","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_16","alias_value":"ST7T7BYUG53ZARX5","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_8","alias_value":"ST7T7BYU","created_at":"2026-05-18T12:27:59.945178+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/ST7T7BYUG53ZARX5UPATQDZJ43","json":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43.json","graph_json":"https://pith.science/api/pith-number/ST7T7BYUG53ZARX5UPATQDZJ43/graph.json","events_json":"https://pith.science/api/pith-number/ST7T7BYUG53ZARX5UPATQDZJ43/events.json","paper":"https://pith.science/paper/ST7T7BYU"},"agent_actions":{"view_html":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43","download_json":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43.json","view_paper":"https://pith.science/paper/ST7T7BYU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1302.5181&json=true","fetch_graph":"https://pith.science/api/pith-number/ST7T7BYUG53ZARX5UPATQDZJ43/graph.json","fetch_events":"https://pith.science/api/pith-number/ST7T7BYUG53ZARX5UPATQDZJ43/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43/action/storage_attestation","attest_author":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43/action/author_attestation","sign_citation":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43/action/citation_signature","submit_replication":"https://pith.science/pith/ST7T7BYUG53ZARX5UPATQDZJ43/action/replication_record"}},"created_at":"2026-05-18T03:32:59.361548+00:00","updated_at":"2026-05-18T03:32:59.361548+00:00"}