{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7CSP5UH7BDPVOOYCV4O33I2ZSN","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":"c085b453584667dcfb4d77af5ed74868cefac290215dbd1c49c074e071c0f13f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2019-07-11T17:04:35Z","title_canon_sha256":"8ceb41a5b602dd4b632577dee41ea0450abc563b330707cbb4b7dd0225c5d64c"},"schema_version":"1.0","source":{"id":"1907.05384","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.05384","created_at":"2026-05-17T23:40:50Z"},{"alias_kind":"arxiv_version","alias_value":"1907.05384v1","created_at":"2026-05-17T23:40:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.05384","created_at":"2026-05-17T23:40:50Z"},{"alias_kind":"pith_short_12","alias_value":"7CSP5UH7BDPV","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7CSP5UH7BDPVOOYC","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7CSP5UH7","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:5ed8c777391863433c2a131883461c66856b15681cd579862a3eb2a96bd57a9d","target":"graph","created_at":"2026-05-17T23:40:50Z","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":"Formal Languages and Automata Theory are important foundational topics in Computer Science. Their rigorous and formal characteristics make their learning them demanding. An important support for the assimilation of concepts is the possibility of interactively visualizing concrete examples of these computational models, facilitating understanding them. The tools available are neither complete nor fully support the interactive aspect. This project aims at the development of an interactive web tool in Portuguese to help in an assisted and intuitive way to understand the concepts and algorithms in","authors_text":"Ant\\'onio Ravara, Artur Miguel Dias, Rita Macedo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2019-07-11T17:04:35Z","title":"Visualiza\\c{c}\\~ao e anima\\c{c}\\~ao de aut\\'omatos em Ocsigen Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.05384","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:27b2550ef38d17ecc02ae4003dba246c20df0a0c3eabbc5c9939f10f11ab40b2","target":"record","created_at":"2026-05-17T23:40:50Z","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":"c085b453584667dcfb4d77af5ed74868cefac290215dbd1c49c074e071c0f13f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2019-07-11T17:04:35Z","title_canon_sha256":"8ceb41a5b602dd4b632577dee41ea0450abc563b330707cbb4b7dd0225c5d64c"},"schema_version":"1.0","source":{"id":"1907.05384","kind":"arxiv","version":1}},"canonical_sha256":"f8a4fed0ff08df573b02af1dbda359935630047fd1c39af2bc5159f2369b46c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8a4fed0ff08df573b02af1dbda359935630047fd1c39af2bc5159f2369b46c8","first_computed_at":"2026-05-17T23:40:50.473600Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:50.473600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Dfraq2RQlSMcBMHl6jZrYfZFpnWJMmNBxdWseLmzrGO9PJxjOmXbt+MXEnfqj+BwJLZKogp8TvSMDlY4sfuWAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:50.474335Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.05384","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27b2550ef38d17ecc02ae4003dba246c20df0a0c3eabbc5c9939f10f11ab40b2","sha256:5ed8c777391863433c2a131883461c66856b15681cd579862a3eb2a96bd57a9d"],"state_sha256":"e900416ee8c2fc12f9c0650d6079ff49a56483932e8ddbef5d9a5faccf714f15"}