{"id":"W3119265231","doi":"10.1016/j.ic.2021.104686","title":"Descriptional Complexity of Formal Systems (DCFS 2019)","year":2021,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Modulo; Alphabet; Congruence (geometry); Computer science; Arithmetic; Mathematics; Combinatorics; Discrete mathematics; Linguistics; Philosophy","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.001978566,0.0006406234,0.0008569827,0.002314289,0.001552813,0.005495398,0.001246307,0.001657128,0.01251387],"category_scores_gemma":[0.01056314,0.0007098426,0.001548533,0.003508573,0.00345429,0.009424535,0.003782464,0.005261012,0.00210678],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005327865,"about_ca_system_score_gemma":0.002214737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004336074,"about_ca_topic_score_gemma":0.00198686,"domain_scores_codex":[0.9975538,0.0004926322,0.0001751444,0.0005588119,0.001010321,0.0002092864],"domain_scores_gemma":[0.9931152,0.004334109,0.0003119046,0.001153497,0.0008119135,0.0002733165],"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.00002344699,0.0000117177,0.0001932559,0.00008508471,0.00001018695,0.00002047052,0.0001655435,0.002237267,0.000267609,0.9714488,0.006911377,0.01862527],"study_design_scores_gemma":[0.000006245842,0.00000577981,0.0001576188,0.00002964402,0.000006076305,0.00004749436,0.00003144666,0.006127052,0.0003458824,0.974669,0.01855941,0.00001427987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1026301,0.01914869,0.6246566,0.03915161,0.003244494,0.0002861202,0.0075554,0.001586026,0.2017409],"genre_scores_gemma":[0.8552114,0.006385047,0.09107051,0.001889597,0.002667416,0.0004607256,0.004843676,0.0006183608,0.03685325],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01251387,"threshold_uncertainty_score":0.04186308,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02873548115125589,"score_gpt":0.242582396896716,"score_spread":0.2138469157454602,"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."}}