{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1996:M2CGCWSYTOKS5H6VQJ5GFPMGKF","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":"b8e70ca61fbebdfb8f89b91822ee5831a5fc9ed22de5c8cf6455854703bfefdd","cross_cats_sorted":["cs.CL"],"license":"","primary_cat":"cmp-lg","submitted_at":"1996-01-31T13:01:17Z","title_canon_sha256":"7bf122e8efafc326ae692a3c7a199f738126bd9ea064c968aee19c18ad087aa3"},"schema_version":"1.0","source":{"id":"cmp-lg/9601010","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cmp-lg/9601010","created_at":"2026-05-18T01:07:23Z"},{"alias_kind":"arxiv_version","alias_value":"cmp-lg/9601010v1","created_at":"2026-05-18T01:07:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cmp-lg/9601010","created_at":"2026-05-18T01:07:23Z"},{"alias_kind":"pith_short_12","alias_value":"M2CGCWSYTOKS","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_16","alias_value":"M2CGCWSYTOKS5H6V","created_at":"2026-05-18T12:25:48Z"},{"alias_kind":"pith_short_8","alias_value":"M2CGCWSY","created_at":"2026-05-18T12:25:48Z"}],"graph_snapshots":[{"event_id":"sha256:e1ed0c798b8a8ac8579b3701c9c8e7bb4bb9bd4f2663d87e712b66a7a377c2f8","target":"graph","created_at":"2026-05-18T01:07:23Z","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":"In this paper we provide for parsing with respect to grammars expressed in a general TFS-based formalism, a restriction of ALE. Our motivation being the design of an abstract (WAM-like) machine for the formalism, we consider parsing as a computational process and use it as an operational semantics to guide the design of the control structures for the abstract machine.\n We emphasize the notion of abstract typed feature structures (AFSs) that encode the essential information of TFSs and define unification over AFSs rather than over TFSs. We then introduce an explicit construct of multi-rooted fe","authors_text":"Haifa, Israel), Israel Institute of Technology, Nissim Francez (Computer Science, Shuly Wintner, Technion","cross_cats":["cs.CL"],"headline":"","license":"","primary_cat":"cmp-lg","submitted_at":"1996-01-31T13:01:17Z","title":"Parsing with Typed Feature Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cmp-lg/9601010","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:9d31a4aaff6ea0f10d5f9a45c11994b835987ba06ee46b64bcf334594330f41b","target":"record","created_at":"2026-05-18T01:07:23Z","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":"b8e70ca61fbebdfb8f89b91822ee5831a5fc9ed22de5c8cf6455854703bfefdd","cross_cats_sorted":["cs.CL"],"license":"","primary_cat":"cmp-lg","submitted_at":"1996-01-31T13:01:17Z","title_canon_sha256":"7bf122e8efafc326ae692a3c7a199f738126bd9ea064c968aee19c18ad087aa3"},"schema_version":"1.0","source":{"id":"cmp-lg/9601010","kind":"arxiv","version":1}},"canonical_sha256":"6684615a589b952e9fd5827a62bd86515bc5940e6e65765667accb456714ee78","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6684615a589b952e9fd5827a62bd86515bc5940e6e65765667accb456714ee78","first_computed_at":"2026-05-18T01:07:23.864500Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:07:23.864500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mCZLKWjlANGvOy/UbO28ICLLaRJxTMhfyldWxzL3B+MXqAemMteX2otYkqBz8o+B4Ys1IjTvhBi7IWkR/HQuCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:07:23.865048Z","signed_message":"canonical_sha256_bytes"},"source_id":"cmp-lg/9601010","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d31a4aaff6ea0f10d5f9a45c11994b835987ba06ee46b64bcf334594330f41b","sha256:e1ed0c798b8a8ac8579b3701c9c8e7bb4bb9bd4f2663d87e712b66a7a377c2f8"],"state_sha256":"432b6a32a7fecad720d081a00c4d4e4499d112cc3f847e115e97684074d6f9b3"}