{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:KGCXB76MK3JMREA5IJEBP4GEG5","short_pith_number":"pith:KGCXB76M","schema_version":"1.0","canonical_sha256":"518570ffcc56d2c8901d424817f0c4377de961e15bef3a1ce38ee9dd7cbf0892","source":{"kind":"arxiv","id":"1310.0504","version":4},"attestation_state":"computed","paper":{"title":"A Note on Pushdown Automata Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Holger Petersen","submitted_at":"2013-10-01T22:14:07Z","abstract_excerpt":"In (Csuhaj-Varju et. al. 2000) Parallel Communicating Systems of Pushdown Automata (PCPA) were introduced and shown to be able to simulate nondeterministic one-way multi-head pushdown automata in returning mode, even if communication is restricted to be one-way having a single target component. A simulation of such centralized PCPA by one-way multi-head pushdown automata (Balan 2009) turned out to be incomplete (Otto 2012). Subsequently it was shown that centralized returning PCPA are universal even if the number of components is two (Petersen 2013) and thus are separated from one-way multi-he"},"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":"1310.0504","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-10-01T22:14:07Z","cross_cats_sorted":[],"title_canon_sha256":"9417a1e9ba41380597b438b64deab65c5ffde1b79a402738e5a59e97e1e80c79","abstract_canon_sha256":"1ce4f29f5c5a31df3cd4d5125eb3627028483cb452af726a7f5a926514e47923"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:48.647980Z","signature_b64":"1CMc+Lqm4DGeouF9g10LwNbM1ik7nNC83xglugbQ4fKJ49+gAlZCuBo4ivbc2Y30kOoAeOMIOfpkVqBN3hcACQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"518570ffcc56d2c8901d424817f0c4377de961e15bef3a1ce38ee9dd7cbf0892","last_reissued_at":"2026-05-18T02:45:48.647544Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:48.647544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Note on Pushdown Automata Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Holger Petersen","submitted_at":"2013-10-01T22:14:07Z","abstract_excerpt":"In (Csuhaj-Varju et. al. 2000) Parallel Communicating Systems of Pushdown Automata (PCPA) were introduced and shown to be able to simulate nondeterministic one-way multi-head pushdown automata in returning mode, even if communication is restricted to be one-way having a single target component. A simulation of such centralized PCPA by one-way multi-head pushdown automata (Balan 2009) turned out to be incomplete (Otto 2012). Subsequently it was shown that centralized returning PCPA are universal even if the number of components is two (Petersen 2013) and thus are separated from one-way multi-he"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.0504","kind":"arxiv","version":4},"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":"1310.0504","created_at":"2026-05-18T02:45:48.647606+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.0504v4","created_at":"2026-05-18T02:45:48.647606+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.0504","created_at":"2026-05-18T02:45:48.647606+00:00"},{"alias_kind":"pith_short_12","alias_value":"KGCXB76MK3JM","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"KGCXB76MK3JMREA5","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"KGCXB76M","created_at":"2026-05-18T12:27:49.015174+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/KGCXB76MK3JMREA5IJEBP4GEG5","json":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5.json","graph_json":"https://pith.science/api/pith-number/KGCXB76MK3JMREA5IJEBP4GEG5/graph.json","events_json":"https://pith.science/api/pith-number/KGCXB76MK3JMREA5IJEBP4GEG5/events.json","paper":"https://pith.science/paper/KGCXB76M"},"agent_actions":{"view_html":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5","download_json":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5.json","view_paper":"https://pith.science/paper/KGCXB76M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.0504&json=true","fetch_graph":"https://pith.science/api/pith-number/KGCXB76MK3JMREA5IJEBP4GEG5/graph.json","fetch_events":"https://pith.science/api/pith-number/KGCXB76MK3JMREA5IJEBP4GEG5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5/action/storage_attestation","attest_author":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5/action/author_attestation","sign_citation":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5/action/citation_signature","submit_replication":"https://pith.science/pith/KGCXB76MK3JMREA5IJEBP4GEG5/action/replication_record"}},"created_at":"2026-05-18T02:45:48.647606+00:00","updated_at":"2026-05-18T02:45:48.647606+00:00"}