{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:GMMG5VHNP7NBIKPIXCIDCIP4T7","short_pith_number":"pith:GMMG5VHN","schema_version":"1.0","canonical_sha256":"33186ed4ed7fda1429e8b8903121fc9ff4325d98af16bbc2b65adb8672097102","source":{"kind":"arxiv","id":"1412.4878","version":1},"attestation_state":"computed","paper":{"title":"Functional Automata - Formal Languages for Computer Science Students","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CY"],"primary_cat":"cs.FL","authors_text":"Marco T. Moraz\\'an (Seton Hall University), Rosario Antunez (City College of New York)","submitted_at":"2014-12-16T05:13:41Z","abstract_excerpt":"An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students find these topics to be challenging or, in many cases, overwhelming and on the fringe of Computer Science. The existence of this perception is not completely absurd since students are asked to design and prove correct machines and grammars without being able to experiment nor get immediate feedback, which is essential in a learning context. This article puts forth the thesis that the theory of"},"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":"1412.4878","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-12-16T05:13:41Z","cross_cats_sorted":["cs.CY"],"title_canon_sha256":"83314e541b8359a47ed4292ba1ba56b84e40c2dceed511753769eb8249cf4c78","abstract_canon_sha256":"a61f65d4e991be6f613245d319ba205563171382c9ffbbd1c2d75b9e5e2602a6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:10.249407Z","signature_b64":"Mx9CAFVn8EoaA2ThorEm8RBsqmW3P/fTnlATexd+x/0nRchi8sSb2YjDY9n28rp21v8lRYFQoEscrzlK1NAkDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33186ed4ed7fda1429e8b8903121fc9ff4325d98af16bbc2b65adb8672097102","last_reissued_at":"2026-05-18T02:31:10.248742Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:10.248742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Functional Automata - Formal Languages for Computer Science Students","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CY"],"primary_cat":"cs.FL","authors_text":"Marco T. Moraz\\'an (Seton Hall University), Rosario Antunez (City College of New York)","submitted_at":"2014-12-16T05:13:41Z","abstract_excerpt":"An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students find these topics to be challenging or, in many cases, overwhelming and on the fringe of Computer Science. The existence of this perception is not completely absurd since students are asked to design and prove correct machines and grammars without being able to experiment nor get immediate feedback, which is essential in a learning context. This article puts forth the thesis that the theory of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.4878","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":"1412.4878","created_at":"2026-05-18T02:31:10.248840+00:00"},{"alias_kind":"arxiv_version","alias_value":"1412.4878v1","created_at":"2026-05-18T02:31:10.248840+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.4878","created_at":"2026-05-18T02:31:10.248840+00:00"},{"alias_kind":"pith_short_12","alias_value":"GMMG5VHNP7NB","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_16","alias_value":"GMMG5VHNP7NBIKPI","created_at":"2026-05-18T12:28:30.664211+00:00"},{"alias_kind":"pith_short_8","alias_value":"GMMG5VHN","created_at":"2026-05-18T12:28:30.664211+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/GMMG5VHNP7NBIKPIXCIDCIP4T7","json":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7.json","graph_json":"https://pith.science/api/pith-number/GMMG5VHNP7NBIKPIXCIDCIP4T7/graph.json","events_json":"https://pith.science/api/pith-number/GMMG5VHNP7NBIKPIXCIDCIP4T7/events.json","paper":"https://pith.science/paper/GMMG5VHN"},"agent_actions":{"view_html":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7","download_json":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7.json","view_paper":"https://pith.science/paper/GMMG5VHN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1412.4878&json=true","fetch_graph":"https://pith.science/api/pith-number/GMMG5VHNP7NBIKPIXCIDCIP4T7/graph.json","fetch_events":"https://pith.science/api/pith-number/GMMG5VHNP7NBIKPIXCIDCIP4T7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7/action/storage_attestation","attest_author":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7/action/author_attestation","sign_citation":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7/action/citation_signature","submit_replication":"https://pith.science/pith/GMMG5VHNP7NBIKPIXCIDCIP4T7/action/replication_record"}},"created_at":"2026-05-18T02:31:10.248840+00:00","updated_at":"2026-05-18T02:31:10.248840+00:00"}