{"id":"W4320854980","doi":"10.4230/lipics.stacs.2024.26","title":"A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Deterministic automaton; Mathematics; Discrete mathematics; Automata theory; Automaton; ω-automaton; Timed automaton; Combinatorics; Quantum finite automata; Algorithm; Finite-state machine; Computer science; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001630943,0.001053084,0.001452826,0.002425126,0.002050874,0.002633064,0.00195051,0.002213219,0.00489039],"category_scores_gemma":[0.008254018,0.0008806554,0.002492648,0.00260768,0.005049013,0.008277562,0.004092864,0.004883792,0.001842354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002563171,"about_ca_system_score_gemma":0.001060853,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001791779,"about_ca_topic_score_gemma":0.001464144,"domain_scores_codex":[0.9975073,0.0003325921,0.0002697112,0.0009120801,0.0007870665,0.0001912726],"domain_scores_gemma":[0.9968299,0.001581015,0.0002196183,0.0006971637,0.0005744598,0.00009780454],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002699713,0.00001221015,0.0002309756,0.0000846941,0.00001531914,0.0001032336,0.0002367148,0.004009351,0.001447454,0.9670406,0.002045653,0.02474675],"study_design_scores_gemma":[0.00001331354,0.0000374924,0.0001222451,0.00005682544,0.00001828972,0.0003883255,0.00004220798,0.01820992,0.002100049,0.9623104,0.01667027,0.00003056567],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01328074,0.003026265,0.9590368,0.001332074,0.0002959683,0.00009598427,0.0002652795,0.0004350113,0.02223186],"genre_scores_gemma":[0.3299729,0.006092774,0.6297413,0.003489025,0.00105962,0.001032272,0.0007560127,0.000701489,0.02715457],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00489039,"threshold_uncertainty_score":0.01859725,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06458233519008089,"score_gpt":0.2137923269919995,"score_spread":0.1492099918019186,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}